Alles van: J.W. Klop
Resultaat 1 - 4 (van 4)
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
J.W. Klop | V. van Oostrom | Roel de Vrijer A geometric proof of confluence by decreasing diagrams
Non-fictie
Engels | 22 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
Marc Bezem | J.W. Klop | V. van Oostrom Diagram techniques for confluence
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
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