|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
35
|
Institution-independent Model Theory. Birkhäuser
– R Diaconescu
- 2008
|
|
20
|
Comorphism-based Grothendieck logics
– Till Mossakowski
- 2002
|
|
11
|
Institutionalising ontology-based semantic integration
– M Schorlemmer, Y Kalfoglou
|
|
26
|
Institution morphisms. Formal aspects of computing 13
– J A GOGUEN, RO ¸SU, G
- 2002
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
85
|
Towards an Algebraic Semantics for the Object Paradigm
– Joseph A. Goguen, Razvan Diaconescu
- 1994
|
|
44
|
Modular Reuse of Ontologies: Theory and Practice
– Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
- 2008
|
|
8
|
Heterogeneous colimits
– Mihai Codescu, Till Mossakowski
- 2008
|
|
83
|
E-connections of abstract description systems
– Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
|
|
208
|
Abstract and Concrete Categories
– J Adámek, H Herrlich, G Strecker
- 1990
|
|
25
|
The Heterogeneous Tool Set
– Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl
- 2007
|
|
340
|
Semantic matching
– Fausto Giunchiglia, Fausto Giunchiglia, Mikalai Yatskevich, Mikalai Yatskevich, Enrico Giunchiglia, Enrico Giunchiglia
- 2007
|
|
51
|
Institution Morphisms
– Joseph Goguen, Grigore Rosu
- 2001
|
|
155
|
The semantics of Clear, a specification language
– R M Burstall, J A Goguen
- 1979
|
|
160
|
General logics
– J Meseguer
- 1989
|
|
59
|
Conservative extensions in expressive description logics
– Carsten Lutz, Dirk Walther, Frank Wolter
- 2007
|
|
15
|
Connecting many-sorted theories
– Franz Baader, Silvio Ghilardi
- 2007
|
|
91
|
Distributed Description Logics: Assimilating Information from Peer Sources
– Alex Borgida, Luciano Serafini
- 2003
|
