Alles van: J.W. Klop
Resultaat 1 - 8 (van 8)
Roel de Vrijer | J.W. Klop Infinitary normalization
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
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
I. Bethke | J.W. Klop | Roel de Vrijer Descendants and origins in term rewriting
Non-fictie
Engels | 72 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
I. Bethke | J.W. Klop | Roel de Vrijer Extending partial combinatory algebras
Non-fictie
Engels | 24 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
I. Bethke | J.W. Klop | Roel de Vrijer Origin tracking in orthogonal term rewriting systems
Non-fictie
Engels | 13 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
I. Bethke | J.W. Klop | Roel de Vrijer Completing partial combinatory algebras with unique head-normal forms
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
J.W. Klop | Roel de Vrijer Extended term rewriting systems
Non-fictie
Engels | 25 pagina's | Vrije Universiteit, Amsterdam | 1991
Gedrukt boek
J.W. Klop | Roel de Vrijer Unique normal forms for Lambda calculus with surjective pairing
Non-fictie
Engels | 16 pagina's | Institute for Language, Logic and Information, Amsterdam | 1987
Gedrukt boek