The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
2000, volume: 10, number: 2

  1. Eike Ritter, David J. Pym, Lincoln A. Wallen
    Proof-terms for classical and intuitionistic resolution. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:173-207 [Journal]
  2. John T. Baldwin
    Stability, the finite cover property and 0-1 laws. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:209-212 [Journal]
  3. Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola
    Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:213-222 [Journal]
  4. Frank Wolter
    The product of converse PDL and polymodal K. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:223-251 [Journal]
  5. Kaile Su, Huowang Chen, Decheng Ding
    Two alternative notions of 'possibility' satisfying Halpern's conditions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:253-269 [Journal]
  6. Rana Barua, Suman Roy, Chaochen Zhou
    Completeness of neighbourhood logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:271-295 [Journal]
  7. B. O. Akinkunmi
    On the expressive limits of reified theories. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:297-313 [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