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]