The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
2002, volume: 12, number: 5

  1. Yonit Kesten, Amir Pnueli
    Complete Proof System for QPTL. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:701-745 [Journal]
  2. Birgit Elbl
    Lazy List Comprehension in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:747-771 [Journal]
  3. Sébastien Konieczny, Ramón Pino Pérez
    Merging Information Under Constraints: A Logical Framework. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:773-808 [Journal]
  4. Holger Sturm, Frank Wolter
    A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:809-838 [Journal]
  5. Arkadi Estrin, Michael Kaminski
    The Expressive Power of Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:839-859 [Journal]
  6. Stéphane Demri, Rajeev Goré
    Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:861-884 [Journal]
  7. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    Tractability Results in the Block Algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:885-909 [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