Zoekresultaten
Resultaat 1 - 20 (van 38)
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 Formal proof systems for program equivalence
Engels | 14 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
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.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 Initial algebra specifications for parametrized data types
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.V. Tucker Hoare's logic and Peano's arithmetic
Engels | 27 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.V. Tucker Two theorems about the completeness of Hoare's logic
Engels | 13 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification
Engels | 11 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
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
J.A. Bergstra | J.V. Tucker Hoare's logic for programming languages with two data types
Engels | 13 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.V. Tucker The completeness of the algebraic specification methods for data types
Engels | 18 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker Expressiveness and the completeness of Hoare's logic
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker On the refinement of specifications and Hoare's logic
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra On the adequacy of finite equational methods for data type specification
Engels | 6 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek
J.A. Bergstra A characterisation of computable data types by means of a finite, equational specification method
Engels | 23 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek
J.A. Bergstra | J.V. Tucker Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
Non-fictie
Engels | 43 pagina's | University of Amsterdam, 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.A. Bergstra | J. Heering | P. Klint Module algebra
Non-fictie
Engels | 39 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek