default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHyLo@FLoC 2006: Seattle, WA, USA
- Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 - Patrick Blackburn
, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. 1-2 - Ian Horrocks, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages. 3-14 - Moritz Hardt, Gert Smolka:
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic. 15-27 - Martin Mundhenk, Thomas Schneider:
Undecidability of Multi-modal Hybrid Logics. 29-43 - Nicole Bidoit, Dario Colazzo:
Testing XML constraint satisfiability. 45-61 - André Platzer:
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. 63-77 - Balder ten Cate, Tadeusz Litak:
Topological Perspective on the Hybrid Proof Rules. 79-94 - Katsuhiko Sano:
A Hybridization of Irreflexive Modal Logics. 95-111 - Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen:
Decidability of a Hybrid Duration Calculus. 113-133 - Jason Reed:
Hybridizing a Logical Framework. 135-148
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
