Alles van: J.W. Klop
Resultaat 21 - 40 (van 69)
J.W. Klop Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J.W. Klop Term rewriting systems
Non-fictie
Engels | 132 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J.W. Klop | A. Middeldorp Sequentiality in orthogonal term rewriting systems
Non-fictie
Engels | 38 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Y. Toyama | J.W. Klop | Henk Barendregt Termination for direct sums of left-linear complete term rewriting systems
Non-fictie
Engels | 31 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
K.R. Apt | R.N. Bol | J.W. Klop On the safe termination of PROLOG programs
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
R.N. Bol | K.R. Apt | J.W. Klop An analysis of loop checking mechanisms for logic programs
Non-fictie
Engels | 56 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
J.A. Bergstra | J.W. Klop | A. Middeldorp Termherschrijfsystemen
Inleiding in de theorie van termherschrijfsystemen waarin aan de orde komen basisbegrippen, reguliere termherschrijfsystemen, reductiestrategieën, terminatie en completering.
Non-fictie
Nederlands | 170 pagina's | Kluwer Bedrijfswetenschappen, Deventer | 1989
Gedrukt boek
J.W. Klop | A. Middeldorp An introduction to Knuth-Bendix completion
Non-fictie
Engels | 23 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
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
J.W. Klop Term rewriting systems
a tutorial
Non-fictie
Engels | 37 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.A. Bergstra | J.W. Klop A convergence theorem in process algebra
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.A. Bergstra | J.W. Klop ACPt
a universal axiom system for process specification
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.W. Klop | A. Middeldorp Strongly sequential term rewriting systems
Non-fictie
Engels | 38 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1987
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 | E. Kranakis Lower bounds for a class of Kostka numbers
Non-fictie
Engels | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Term rewriting systems with priorities
Non-fictie
Engels | 20 pagina's | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1986
Gedrukt boek
J.A. Bergstra | J.W. Klop | E.-R. Olderog Failure semantics with fair abstraction
Non-fictie
Engels | 68 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
J.A. Bergstra | J.W. Klop | E.-R. Olderog Failures without chaos
a new process semantics for fair abstraction
Non-fictie
Engels | 10 pagina's | University of Amsterdam, Amsterdam | 1986
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop On the consistency of Koomen's fair abstraction rule
Non-fictie
Engels | 39 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop An operational semantics for process algebra
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek