Alles van: J.W. Klop
Resultaat 1 - 6 (van 6)
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.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 Semi-complete termherschrijfsystemen
Non-fictie
Nederlands | 123 pagina's | Kluwer, Deventer | 1987
Gedrukt boek