Zoekresultaten
Resultaat 1 - 4 (van 4)
J.W. Klop | V. van Oostrom | F. van Raamsdonk Combinatory reduction systems
introduction and survey
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
J.W. Klop Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J. Ketema | J.W. Klop | V. van Oostrom Vicious circles in orthogonal term rewriting systems
Non-fictie
Engels | 13 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
Roel de Vrijer | J.W. Klop Infinitary normalization
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek