Journals in DBLP

Ann. Pure Appl. Logic
2005, volume: 134, number: 1

1. Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov
   WoLLIC'2002. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:1-4 [Journal]
   
2. Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
   Comparing and implementing calculi of explicit substitutions with eta-reduction. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:5-41 [Journal]
   
3. Ricardo Bianconi
   Undefinability results in o-minimal expansions of the real numbers. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:43-51 [Journal]
   
4. Felipe Cucker
   On sparseness, reducibilities, and complexity. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:53-61 [Journal]
   
5. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
   Safe beliefs for propositional theories. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:63-82 [Journal]
   
6. Rohit Parikh, Jouko A. Väänänen
   Finite information logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:83-93 [Journal]