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 BibTeX
- Ricardo Bianconi:
Some remarks on Schanuel's conjecture.
15-18 BibTeX
- Timothy J. Carlson:
Elementary patterns of resemblance.
19-77 BibTeX
- E. A. Cichon, Elias Tahhan-Bittar:
Strictly orthogonal left linear rewrite systems and primitive recursion.
79-101 BibTeX
- Marcelo E. Coniglio, Francisco Miraglia:
Modules in the category of sheaves over quantales.
103-136 BibTeX
- J. Patricio Díaz Varela:
On subvarieties of symmetric closure algebras.
137-152 BibTeX
- Jürgen Dix, Mauricio Osorio, Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications.
153-188 BibTeX
- Ilijas Farah:
Basis problem for turbulent actions I: Tsirelson submeasures.
189-203 BibTeX
- Hércules A. Feitosa, Itala M. Loffredo D'Ottaviano:
Conservative translations.
205-227 BibTeX
- Hernando Gaitán:
Varieties of quasi-Stone algebras.
229-235 BibTeX
- Claudio Gutiérrez:
Normal forms for connectedness in categories.
237-247 BibTeX
- Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
On free annotated algebras.
249-259 BibTeX
- Néstor G. Martínez, Alejandro Petrovich:
Uniqueness of the implication for totally ordered MV-algebras.
261-268 BibTeX
- Daniele Mundici, Giovanni Panti:
Decidable and undecidable prime theories in infinite-valued logic.
269-278 BibTeX
- Carlos Ortiz:
An Omitting Types Theorem for positive bounded formulas in normed spaces.
279-294 BibTeX
- Maurice Pouzet, Mohamed Sobrani:
Sandwiches of ages.
295-326 BibTeX
- Laura Rueda:
Linear Heyting algebras with a quantifier.
327-343 BibTeX
- Jose Maria Turull Torres:
On the expressibility and the computability of untyped queries.
345-371 BibTeX
Copyright © Sat May 16 23:50:44 2009
by Michael Ley (ley@uni-trier.de)
