Compilation of term rewriting systems / Jasper Frederikus Theodorus Kamperman

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

Proefschrift Universiteit van Amsterdam

rdfs:label	"Compilation of term rewriting systems / Jasper Frederikus Theodorus Kamperman"
schema:name	"Compilation of term rewriting systems"
schema:author	Kamperman, Jasper Frederikus Theodorus
schema:description	"Proefschrift Universiteit van Amsterdam"
schema:sameAs	<http://www.worldcat.org/oclc/905483932>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/2b0e4cf19873b8f8d5dde91883122c8c>
http://purl.org/dc/terms#issued	"1996"
schema:about	<http://data.bibliotheken.nl/id/thes/p077605330>
	Compilers
	compileerprogramma's
	Symbolische logica
	wiskundige logica
	Software engineering
	Rules of rewriting
schema:inLanguage	"en"
schema:numberOfPages	183
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/1df5055637b14ab22912a087874de8b2>