Proving a graph well founded using resolution / M. Bezem, J.F. Groote

<http://data.bibliotheken.nl/id/nbt/p119609584>

rdfs:label	"Proving a graph well founded using resolution / M. Bezem, J.F. Groote"
schema:name	"Proving a graph well founded using resolution"
schema:author	Logic Group (Utrecht)
	Bezem, Marcus Aloysius (1956-)
schema:contributor	Utrecht Research Institute for Philosophy
	Groote, Jan Friso (1965-)
schema:sameAs	<http://www.worldcat.org/oclc/69253467>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/3f6c3ff2eb801272878c2c598175b77c>
http://purl.org/dc/terms#issued	"1994"
schema:about	wiskundige logica
	grafentheorie
schema:inLanguage	"en"
schema:isPartOf	Logic Group preprint series / University of Utrecht, Department of Philosophy
schema:isbn	"9039309523"
schema:numberOfPages	11
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/bbfb8bdfe61f2ecd3e6e0bb7ceb6ab91>