Alles van: J.W. Klop
Resultaat 1 - 3 (van 3)
Z.M. Ariola | J.W. Klop | D. Plump Bisimilarity in term graph rewriting
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
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
Z.M. Ariola | J.W. Klop Equational term graph rewriting
Non-fictie
Engels | 55 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek