Zoekresultaten
Resultaat 1 - 20 (van 33)
J.A. Bergstra | J.W. Klop Formal proof systems for program equivalence
Engels | 14 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Conditional rewrite rules
confluency and termination
Engels | 51 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Fixed point semantics in process algebras
Engels | 21 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Initial algebra specifications for parametrized data types
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop Algebraic specifications for parametrized data types with minimal parameter and target algebras
Engels | 22 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop A formalized proof system for total correctness of while programs
Engels | 16 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop Proving program inclusion using Hoare's logic
Engels | 60 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Ready trace semantiek voor procesalgebra met prioriteitsoperator
Non-fictie
Nederlands | 10 pagina's | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1985
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
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 | 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
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 | 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 | E.-R. Olderog Readies and failures in the algebra of communicating processes
Non-fictie
Engels | 54 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 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