Alles van: J.W. Klop
Resultaat 1 - 3 (van 3)
M. Bognar | J.W. Klop A note on some abstract confluence criteria
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1996
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
Z.M. Ariola | J.W. Klop Lambda calculus with explicit recursion
Non-fictie
Engels | 75 pagina's | Vrije Universiteit Amsterdam, Amsterdam | 1997
Gedrukt boek