Journals in DBLP

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

1. Olivier Chapuis, Pascal Koiran
   Saturation and Stability in the Theory of Computation over the Reals. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:1-49 [Journal]
   
2. Slawomir Solecki
   Analytic Ideals and Their Applications. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:51-72 [Journal]
   
3. Karl-Heinz Niggl
   M^omega Considered as a Programming Language. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:73-92 [Journal]
   
4. Samuel R. Buss, Grigori Mints
   The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:93-104 [Journal]
   
5. Mirjana Borisavljevic
   A Cut-Elimination Proof in Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:105-136 [Journal]
   
6. Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote
   A Geometric Consequence of Residual Smallness. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:137-169 [Journal]
   
7. Alain Louveau, Boban Velickovic
   Analytic Ideals and Cofinal Types. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:171-195 [Journal]
   
8. Alexandre A. Ivanov, Dugald Macpherson
   Strongly Determined Types. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:197-230 [Journal]
   
9. Thierry Coquand
   A Boolean Model of Ultrafilters. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:231-239 [Journal]