The Heterogeneous Tool Set (2007)

by Till Mossakowski , Christian Maeder , Klaus Lüttich , Stefan Wölfl
Venue:of Lecture Notes in Computer Science
Citations:30 - 21 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
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
226 Abstract and Concrete Categories – J Adámek, H Herrlich, G Strecker - 1990
24 Interpolation in Grothendieck Institutions – Razvan Diaconescu - 2003
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
25 Development graphs – proof management for structured specifications – T Mossakowski, S Autexier, D Hutter - 2006
12 Institutionalising Ontology-Based Semantic Integration – M Schorlemmer, Y Kalfoglou
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
95 E-connections of abstract description systems – Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
31 Institution morphisms. Formal Aspects of Computing 13:274–307 – J A Goguen, G Rosu - 2002
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
87 The Model Evolution Calculus – Peter Baumgartner, Cesare Tinelli - 2003
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
9 Reasoning Support for CASL with Automated Theorem Proving Systems – Klaus Lüttich, Till Mossakowski - 2007
7 Institutional 2-cells and Grothendieck institutions – Till Mossakowski - 2006
28 Heterogeneous Specification and the Heterogeneous Tool Set.” Habilitation thesis – T Mossakowski - 2005
19 Connecting many-sorted theories – Franz Baader, Silvio Ghilardi - 2007