Alles van: J.W. Klop
Resultaat 61 - 69 (van 69)
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 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.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.W. de Bakker | J.W. Klop | J.-J.Ch. Meyer Correctness of programs with function procedures
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.W. Klop Combinatory reduction systems
Engels | 317 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek