Documents Related by Co-Citation

425 Institutions: Abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
160 General logics – J Meseguer - 1989
19 Grothendieck institutions. Applied categorical structures – R Diaconescu - 2002
25 Towards Heterogeneous Specifications – Andrzej Tarlecki - 1998
51 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
47 Moving Between Logical Systems – Andrzej Tarlecki - 1998
26 Institution morphisms. Formal aspects of computing 13 – J A GOGUEN, RO ¸SU, G - 2002
23 and Andrzej Tarlecki. Specifications in an arbitrary institution – Donald Sannella - 1988
35 Institution-independent Model Theory. Birkhäuser – R Diaconescu - 2008
119 Handbook of categorical algebra – Francis Borceux - 1994
132 Fundamentals of algebraic specification 1: Equations and initial semantics – H Ehrig, B Mahr - 1985
45 Bits and pieces of the theory of institution – Andrzej Tarlecki
7 Abstract specification theory: an overview – Andrzej Tarlecki - 2003
54 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
634 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
155 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1979
84 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
24 Heterogeneous specification and the heterogeneous tool set. Habilitation thesis – T Mossakowski - 2005