Zoekresultaten
Resultaat 1 - 13 (van 13)
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
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 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
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
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
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
Z.M. Ariola | J.W. Klop Lambda calculus with explicit recursion
Non-fictie
Engels | 75 pagina's | Vrije Universiteit Amsterdam, Amsterdam | 1997
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
J.A. Bergstra | J.W. Klop Semi-complete termherschrijfsystemen
Non-fictie
Nederlands | 123 pagina's | Kluwer, Deventer | 1987
Gedrukt boek
J.W. Klop Term rewriting systems
Non-fictie
Engels | 132 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
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