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

Active Bibliography

Contents – Till Mossakowski, Christian Maeder, Mihai Codescu, Eugen Kuksa, Christoph Lange - 2013
9 Reasoning Support for CASL with Automated Theorem Proving Systems – Klaus Lüttich, Till Mossakowski - 2007
10 Foundations of Heterogeneous Specification – Till Mossakowski
HETS User Guide – Version 0.73 – – Till Mossakowski, Christian Maeder, Klaus Lüttich - 2008
HETS User Guide – Version 0.85 – – Till Mossakowski, Christian Maeder, Klaus Lüttich - 2009
The VSE Refinement Method in HETS – Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
5 Qualitative constraint calculi: Heterogeneous verification of composition tables – Stefan Wölfl - 2007
18 Integrating Hol-Casl into the Development Graph Manager – Serge Autexier, Till Mossakowski
9 Ontologies for the Semantic Web in CASL – Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner - 2005
1 Casl: The Common Algebraic Specification Language: Proof calculus – CoFI - 1998
HETS User Guide – Version 0.98 – – Till Mossakowski, Christian Maeder, Mihai Codescu - 2013
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
5 Quantum institutions – C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas - 2006
7 The Onto-Logical Translation Graph – Till Mossakowski , Oliver Kutz
11 Heterogeneous development graphs and heterogeneous borrowing – Till Mossakowski - 2002
HETS User Guide – Version 0.95 – – Till Mossakowski, Christian Maeder, Mihai Codescu, Dominik Lücke - 2010
1 Heterogeneous Theories and the Heterogeneous Tool Set – Till Mossakowski
HETS User Guide – Version 0.96 – – Till Mossakowski, Christian Maeder, Mihai Codescu, Dominik Lücke - 2010
6 Progress in the Development of Automated Theorem Proving for Higher-order Logic – Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss