Journals in DBLP

Ann. Pure Appl. Logic
2001, volume: 108, number: 1-3

1. Joan Bagaria, Sy D. Friedman
   Generic absoluteness. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:3-13 [Journal]
   
2. Ricardo Bianconi
   Some remarks on Schanuel's conjecture. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:15-18 [Journal]
   
3. Timothy J. Carlson
   Elementary patterns of resemblance. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:19-77 [Journal]
   
4. E. A. Cichon, Elias Tahhan-Bittar
   Strictly orthogonal left linear rewrite systems and primitive recursion. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:79-101 [Journal]
   
5. Marcelo E. Coniglio, Francisco Miraglia
   Modules in the category of sheaves over quantales. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:103-136 [Journal]
   
6. J. Patricio Díaz Varela
   On subvarieties of symmetric closure algebras. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:137-152 [Journal]
   
7. Jürgen Dix, Mauricio Osorio, Claudia Zepeda
   A general theory of confluent rewriting systems for logic programming and its applications. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:153-188 [Journal]
   
8. Ilijas Farah
   Basis problem for turbulent actions I: Tsirelson submeasures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:189-203 [Journal]
   
9. Hércules A. Feitosa, Itala M. Loffredo D'Ottaviano
   Conservative translations. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:205-227 [Journal]
   
10. Hernando Gaitán
    Varieties of quasi-Stone algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:229-235 [Journal]
    
11. Claudio Gutiérrez
    Normal forms for connectedness in categories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:237-247 [Journal]
    
12. Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
    On free annotated algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:249-259 [Journal]
    
13. Néstor G. Martínez, Alejandro Petrovich
    Uniqueness of the implication for totally ordered MV-algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:261-268 [Journal]
    
14. Daniele Mundici, Giovanni Panti
    Decidable and undecidable prime theories in infinite-valued logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:269-278 [Journal]
    
15. Carlos Ortiz
    An Omitting Types Theorem for positive bounded formulas in normed spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:279-294 [Journal]
    
16. Maurice Pouzet, Mohamed Sobrani
    Sandwiches of ages. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:295-326 [Journal]
    
17. Laura Rueda
    Linear Heyting algebras with a quantifier. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:327-343 [Journal]
    
18. Jose Maria Turull Torres
    On the expressibility and the computability of untyped queries. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:345-371 [Journal]