Equivalences among Various Logical Frameworks of Partial Algebras (1996)

Cached

Download Links

by Till Mossakowski
Venue:Computer Science Logic. 9th Workshop, CSL'95. Paderborn
Citations:17 - 7 self

Documents Related by Co-Citation

167 General Logics – J Meseguer - 1989
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
207 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
22 Relationships between Logical Formalisms – M Cerioli - 1993
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
198 Locally presentable and accessible categories – J Adámek, J Rosický - 1994
147 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
703 Introduction to Metamathematics – S Kleene - 1952