Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras (1996)

by Till Mossakowski
Venue:Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science
Citations:15 - 5 self

Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
43 R.: A study in the foundations of programming methodology: Specifications, institutions, charters and parchments – Burstall J Goguen - 1986
12 Combining and Representing Logical Systems – Till Mossakowski , Andrzej Tarlecki, Wieslaw Pawlowski - 1997
15 Combining and Representing Logical Systems Using Model-Theoretic Parchments – Till Mossakowski, Andrzej Tarlecki - 1997
168 General logics – José Meseguer - 1989
40 Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories – Andrzej Tarlecki, Rod Burstall, Joseph Goguen - 1991
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
45 Axioms for abstract model theory – K J Barwise - 1974
99 A Categorical Manifesto – Joseph A. Goguen - 1991
51 Fibring of logics as a categorial construction – Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro - 1999
35 Fibred semantics and the weaving of logics: part 1 – D Gabbay - 1996
127 Introducing institutions – J A Goguen, R M Burstall - 1983
183 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
23 Combining Logics – Carlos Caleiro - 2000
45 Fibring: Completeness Preservation – Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas - 2000
14 Categorial Fibring of Logics with Terms and Binding Operators – Amilcar Sernadas , Cristina Sernadas, Carlos Caleiro, Till Mossakowski - 1998
39 Structuring theories in consequence – J Fiadeiro, A Sernadas - 1988
6 Four Institutions: A Unified Presentation of Logical Systems for Specification. Bericht-Nr – U Wolter, R Wessaly, M Klar, F Cornelius - 1994
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993