More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

HyLo@FLoC 2006: Seattle, WA, USA

> Home > Conferences and Workshops > HyLo

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/hylo/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hylo/2006
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlackburnBBPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlackburnBBPV07
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HorrocksGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HorrocksGS07
Ian Horrocks, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HardtS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HardtS07
Moritz Hardt, Gert Smolka:
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic. 15-27
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MundhenkS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MundhenkS07
Martin Mundhenk, Thomas Schneider:
Undecidability of Multi-modal Hybrid Logics. 29-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BidoitC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BidoitC07
Nicole Bidoit, Dario Colazzo:
Testing XML constraint satisfiability. 45-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Platzer07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Platzer07
André Platzer:
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. 63-77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CateL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CateL07
Balder ten Cate, Tadeusz Litak:
Topological Perspective on the Hybrid Proof Rules. 79-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Katsuhiko07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Katsuhiko07
Katsuhiko Sano:
A Hybridization of Irreflexive Modal Logics. 95-111
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BolanderHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BolanderHH07
Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen:
Decidability of a Hybrid Duration Calculus. 113-133
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Reed07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Reed07
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.