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

476 Institutions: Abstract model theory for specication and programming – Joseph Goguen, Rod Burstall - 1992
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
25 Development graphs – proof management for structured specifications – T Mossakowski, S Autexier, D Hutter - 2006
41 Institution-independent Model Theory – R Diaconescu - 2008
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
31 Institution morphisms. Formal Aspects of Computing 13:274–307 – J A Goguen, G Rosu - 2002
229 Abstract and Concrete Categories – J Adámek, H Herrlich, G E Strecker - 1990
95 E-connections of abstract description systems – Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
25 Interpolation in Grothendieck Institutions – Razvan Diaconescu - 2003
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
718 Isabelle/HOL — A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, M Wenzel - 2002
29 Heterogeneous Specification and the Heterogeneous Tool Set, Habilitation thesis – T Mossakowski - 2005
12 Institutionalising Ontology-Based Semantic Integration – M Schorlemmer, Y Kalfoglou
112 Distributed Description Logics: Assimilating Information from Peer Sources – Alex Borgida, Luciano Serafini - 2003
212 The even more irresistible SROIQ – Ian Horrocks, Oliver Kutz, Ulrike Sattler - 2006
168 General logics – J Meseguer - 1989
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
7 Institutional 2-cells and Grothendieck institutions – Till Mossakowski - 2006