Volume 108,
Numbers 1-3,
March 2001
XIth Latin American Symposium on Mathematical Logic,
Merida Venezuela,
July 1998
- Joan Bagaria, Sy D. Friedman:
Generic absoluteness.
3-13
- Ricardo Bianconi:
Some remarks on Schanuel's conjecture.
15-18
- Timothy J. Carlson:
Elementary patterns of resemblance.
19-77
- E. A. Cichon, Elias Tahhan-Bittar:
Strictly orthogonal left linear rewrite systems and primitive recursion.
79-101
- Marcelo E. Coniglio, Francisco Miraglia:
Modules in the category of sheaves over quantales.
103-136
- J. Patricio Díaz Varela:
On subvarieties of symmetric closure algebras.
137-152
- Jürgen Dix, Mauricio Osorio, Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications.
153-188
- Ilijas Farah:
Basis problem for turbulent actions I: Tsirelson submeasures.
189-203
- Hércules A. Feitosa, Itala M. Loffredo D'Ottaviano:
Conservative translations.
205-227
- Hernando Gaitán:
Varieties of quasi-Stone algebras.
229-235
- Claudio Gutiérrez:
Normal forms for connectedness in categories.
237-247
- Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
On free annotated algebras.
249-259
- Néstor G. Martínez, Alejandro Petrovich:
Uniqueness of the implication for totally ordered MV-algebras.
261-268
- Daniele Mundici, Giovanni Panti:
Decidable and undecidable prime theories in infinite-valued logic.
269-278
- Carlos Ortiz:
An Omitting Types Theorem for positive bounded formulas in normed spaces.
279-294
- Maurice Pouzet, Mohamed Sobrani:
Sandwiches of ages.
295-326
- Laura Rueda:
Linear Heyting algebras with a quantifier.
327-343
- Jose Maria Turull Torres:
On the expressibility and the computability of untyped queries.
345-371
Last update Mon Feb 13 04:44:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
