Journals in DBLP

Ann. Pure Appl. Logic
2005, volume: 135, number: 1-3

1. Duminda Wijesekera, Anil Nerode
   Tableaux for constructive concurrent dynamic logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:1-72 [Journal]
   
2. Fernando Ferreira, Paulo Oliva
   Bounded functional interpretation. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:73-112 [Journal]
   
3. Marcus Tressl
   The elementary theory of Dedekind cuts in polynomially bounded structures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:113-134 [Journal]
   
4. Kerry Ojakian
   Upper and lower Ramsey bounds in bounded arithmetic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:135-150 [Journal]
   
5. Wim Veldman
   Two simple sets that are not positively Borel. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:151-209 [Journal]
   
6. Claude Sureson
   A generalization of von Neumann regularity. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:210-242 [Journal]
   
7. Erik Palmgren
   Constructive completions of ordered sets, groups and fields. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:243-262 [Journal]
   
8. Clare Dixon, Alexander Bolotov, Michael Fisher
   Alternating automata and temporal logic normal forms. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:263-285 [Journal]
   
9. Piotr Kowalski
   Geometric axioms for existentially closed Hasse fields. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:286-302 [Journal]