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

168 General logics – José Meseguer - 1989
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
22 Relationships between Logical Formalisms – M Cerioli - 1993
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
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
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
5 Handbook of Categorical Algebra I – III – F Borceux - 1994
226 Abstract and Concrete Categories – J Adámek, H Herrlich, G Strecker - 1990
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985
4 Guarded algebras and data type specification – Magne Haveraaen, Eric G Wagner - 1995
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
5 A lazy approach to partial algebras – Maura Cerioli - 1995
6 Non-strict don't care algebras and specifications – E Astesiano, M Cerioli - 1996