The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Pure Appl. Logic
1999, volume: 100, number: 1-3

  1. Alessandra Carbone
    Duplication of Directed Graphs and Exponential Blow Up of Proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:1-67 [Journal]
  2. Stevo Todorcevic, Jouko A. Väänänen
    Trees and Ehrenfeucht-Fraïssé Games. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:69-97 [Journal]
  3. Marcus Kracht
    Lattices of Modal Logics and Their Groups of Automorphisms. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:99-139 [Journal]
  4. Andreas Blass, Yuri Gurevich, Saharon Shelah
    Choiceless Polynomial Time. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:141-187 [Journal]
  5. Chris Pollett
    Structure and Definability in General Bounded Arithmetic Theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:189-245 [Journal]
  6. Olivier Bastonero, Xavier Gouy
    Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:247-277 [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