The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 6

  1. Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:1-2 [Journal]
  2. Ian Horrocks, Birte Glimm, Ulrike Sattler
    Hybrid Logics and Ontology Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:3-14 [Journal]
  3. Moritz Hardt, Gert Smolka
    Higher-Order Syntax and Saturation Algorithms for Hybrid Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:15-27 [Journal]
  4. Martin Mundhenk, Thomas Schneider
    Undecidability of Multi-modal Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:29-43 [Journal]
  5. Nicole Bidoit, Dario Colazzo
    Testing XML constraint satisfiability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:45-61 [Journal]
  6. André Platzer
    Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:63-77 [Journal]
  7. Balder ten Cate, Tadeusz Litak
    Topological Perspective on the Hybrid Proof Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:79-94 [Journal]
  8. Sano Katsuhiko
    A Hybridization of Irreflexive Modal Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:95-111 [Journal]
  9. Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen
    Decidability of a Hybrid Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:113-133 [Journal]
  10. Jason Reed
    Hybridizing a Logical Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:135-148 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002