Journals in DBLP

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

1. Saharon Shelah, Andrés Villaveces
   Toward Categoricity for Classes with no Maximal Models. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:1-25 [Journal]
   
2. Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
   On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:27-45 [Journal]
   
3. Saharon Shelah, J. K. Truss
   On Distinguishing Quotients of Symmetric Groups. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:47-83 [Journal]
   
4. Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin
   Extended Order-Generic Queries. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:85-125 [Journal]
   
5. Matthias Baaz, Alexander Leitsch
   Cut Normal Forms and Proof Complexity. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:127-177 [Journal]
   
6. Norman Danner
   Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:179-201 [Journal]
   
7. Michael Benedikt
   Hierarchies of Measure-Theoretic Ultrafilters. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:203-219 [Journal]
   
8. Gerhard Jäger, Thomas Strahm
   Bar Induction and omega Model Reflection. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:221-230 [Journal]
   
9. Georg Gottlob, Nicola Leone, Helmut Veith
   Succinctness as a Source of Complexity in Logical Formalisms. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:97, n:1-3, pp:231-260 [Journal]