From Total Equational to Partial First Order Logic (1998)

Cached

Download Links

by Maura Cerioli , Till Mossakowski , Horst Reichel
Citations:19 - 8 self

Active Bibliography

5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
3 Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods – Till Mossakowski
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
4 A Hierarchy of Institutions Separated By Properties of Parameterized Data Types – Till Mossakowski - 1995
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
10 An Example of Interactive Hardware Transformation – Zheng Zhu, Zheng Zhu, Steven D. Johnson, Steven D. Johnson - 1993
1 Swinging Data Types: The Dielectic between Actions and Constructors – Peter Padawitz - 1998
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
17 Equivalences among Various Logical Frameworks of Partial Algebras – Till Mossakowski - 1996
26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
1 Kind Theory – Joseph R. Kiniry - 2002
15 Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras – Till Mossakowski - 1996