Alles van: J.W. Klop
Resultaat 1 - 5 (van 5)
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 Collapsing partial combinatory algebras
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
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