Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]