MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Heterogeneous Tool Set, Hets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Heterogeneous Tool Set, Hets  
  • by Till Mossakowski, Christian Maeder, Klaus Lüttich — 2007 — In TACAS 2007, LNCS 4424
  • …The Heterogeneous Tool Set, HETS ⋆ Till Mossakowski 1 , Christian Maeder 1 , and Klaus Lüttich 2 1…
  • Cited by 1 (0 self) – Add To MetaCart
  • Heterogeneous colimits  
  • by Mihai Codescu, Till Mossakowski — 2008 — In Workshop on Modeling, Validation and Heterogeneity
  • … colimit whenever possible. This algorithm is being implemented as part of the Heterogeneous Tool Set HETS…
  • Cited by 4 (4 self) – Add To MetaCart
  • Development of Modular Ontologies in CASL  
  • by Klaus Lüttich, Claudio Masolo, Stefano Borgo — 2006 — 1st Workshop on Modular Ontologies 2006 , volume 232 of CEUR Workshop Proceedings. CEUR-WS.org
  • … of different logics. Additionally, the Heterogeneous Tool Set (Hets) is presented which enables reasoning…
  • Cited by 3 (0 self) – Add To MetaCart
  • The Heterogeneous Tool Set  
  • by Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl — 2007 — of Lecture Notes in Computer Science
  • …-hoc integrations of different formalisms. The heterogeneous tool set (Hets) is a parsing, static analysis and proof…
  • Cited by 11 (8 self) – Add To MetaCart
  • Iterative Circular Coinduction for CoCASL  
  • by Daniel Hausmann, Till Mossakowski — 2005 — in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442
  • … of the Bremen heterogeneous Casl tool set Hets. Introduction Coalgebra is emerging as a standard unifying…
  • Cited by 1 (0 self) – Add To MetaCart
  • CASL specifications of qualitative calculi  
  • by Stefan Wölfl, Till Mossakowski — 2005 — Spatial Information Theory: Cognitive and Computational Foundations, Proceedings of COSIT’05, LNCS 3693
  • … of the underlying logical system and hence can be used for HASCASL as well. 3.3 Tools HETS. The Heterogeneous Tool…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB