The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
1992, volume: 2, number: 3

  1. T. S. E. Maibaum
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:243-245 [Journal]
  2. Yves Auffray, Patrice Enjalbert
    Modal Theorem Proving: An Equational Viewpoint. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:247-295 [Journal]
  3. Jean-Marc Andreoli
    Logic Programming with Focusing Proofs in Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:297-347 [Journal]
  4. Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
    The Pure Logic of Necessitation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:349-373 [Journal]
  5. Felipe Cucker
    The Arithmetical Hierarchy over the Reals. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:375-395 [Journal]
  6. Georg Gottlob
    Complexity Results for Nonmonotonic Logics. [Citation Graph (3, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:397-425 [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