From Total Equational to Partial First Order Logic (1998)

Cached

Download Links

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

Documents Related by Co-Citation

168 General logics – José Meseguer - 1989
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
17 Equivalences among Various Logical Frameworks of Partial Algebras – Till Mossakowski - 1996
38 Initial Computability, Algebraic Specifications, and Partial Algebras – H Reichel - 1987
46 I borrow your logic? (transporting logical structures along maps – M Cerioli, J Meseguer
13 Permissive Subsorted Partial Logic in CASL – Maura Cerioli, Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski - 1997
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
226 Abstract and Concrete Categories – J Adámek, H Herrlich, G Strecker - 1990
43 The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW at http://www.brics.dk/Projects/CoFI – CoFI
9 Pushouts of order-sorted algebraic specifications – A E Haxthausen, F Nickl - 1996
34 Operational semantics for order-sorted algebra – J A Goguen, J-P Jouannaud, J Meseguer
43 Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and – Joseph Goguen, Jose Meseguer - 1987
32 and Răzvan Diaconescu. An Oxford survey of order sorted algebra – Joseph Goguen - 1994
16 A model theoretic approach to partial algebras. Akademie – P Burmeister - 1986
20 Partial algebras — survey of a unifying approach towards a twovalued model theory for partial algebras, Algebra Universalis 15 – P Burmeister - 1982
43 CoFI: The Common Framework Initiative for Algebraic Specification and Development – Peter D. Mosses, Peter D. Mosses - 1997
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994