The SCEAS System
Navigation Menu

Journals in DBLP

Logic Journal of the IGPL
1999, volume: 7, number: 1

  1. Angelo Montanari, Alberto Policriti, Yde Venema
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:5-6 [Journal]
  2. Johan van Benthem
    Temporal Patterns and Modal Structure. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:7-26 [Journal]
  3. Patrick Blackburn, Miroslava Tzakova
    Hybrid Languages and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:27-54 [Journal]
  4. Dennis Dams
    Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:55-78 [Journal]
  5. Angelo Montanari, Adriano Peron, Alberto Policriti
    Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:79-102 [Journal]
  6. Colin Stirling
    Bisimulation, Modal Logic and Model Checking Games. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:103-124 [Journal]
  7. Alberto Zanardo, Bruno Barcellan, Mark Reynolds
    Non-Definability of the Class of Complete Bundled Trees. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:125-136 [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