Interpolation in Grothendieck Institutions (2003)

by Razvan Diaconescu
Venue:THEORETICAL COMPUTER SCIENCE
Citations:24 - 3 self

Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
41 Institution-independent Model Theory – R Diaconescu - 2008
930 Categories for the Working Mathematician – S Mac Lane - 1971
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
168 General logics – José Meseguer - 1989
12 Institutionalising Ontology-Based Semantic Integration – M Schorlemmer, Y Kalfoglou
226 Abstract and Concrete Categories – J Adámek, H Herrlich, G Strecker - 1990
30 The Heterogeneous Tool Set – Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl - 2007
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
19 An Institution-Independent Proof of Craig Interpolation Property – R Diaconescu
86 Modular Reuse of Ontologies: Theory and Practice – Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler - 2008
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
95 E-connections of abstract description systems – Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
78 Conservative extensions in expressive description logics – Carsten Lutz, Dirk Walther, Frank Wolter - 2007
528 Semantic matching – Fausto Giunchiglia, Fausto Giunchiglia, Mikalai Yatskevich, Mikalai Yatskevich, Enrico Giunchiglia, Enrico Giunchiglia - 2007
31 Institution morphisms. Formal Aspects of Computing 13:274–307 – J A Goguen, G Rosu - 2002