Alles van: J.W. Klop
Resultaat 1 - 20 (van 69)
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. 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
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
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
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
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
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
N. Dershowitz | Jean-Pierre Jouannaud | J.W. Klop Problems in rewriting III
Non-fictie
Engels | 11 pagina's | Vrije Universiteit, Faculteit der 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
I. Bethke | J.W. Klop Collapsing partial combinatory algebras
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
N. Dershowitz | Jean-Pierre Jouannaud | J.W. Klop More problems in rewriting
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
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
F.S. de Boer | J.W. Klop | C. Palamidessi Asynchronous communication in process algebra
(extended abstract)
Non-fictie
Engels | 20 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Decidability of bisimulation equivalence for processes generating context-free languages
Non-fictie
Engels | 33 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
J.W. Klop | Roel de Vrijer Extended term rewriting systems
Non-fictie
Engels | 25 pagina's | Vrije Universiteit, Amsterdam | 1991
Gedrukt boek
N. Dershowitz | Jean-Pierre Jouannaud | J.W. Klop Open problems in rewriting
Non-fictie
Engels | 23 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek