Zoekresultaten
Resultaat 1 - 3 (van 3)
A. Middeldorp Modular properties of conditional term rewriting systems
Non-fictie
Engels | 42 pagina's | CWI, Amsterdam | 1991
Gedrukt boek
A. Middeldorp | E. Hamoen Counterexamples to completeness results for basic narrowing
Non-fictie
Engels | 44 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
A. Middeldorp | Y. Toyama Completeness of combinations of constructor systems
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek