![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 108
Volume 108, Numbers 1-3, March 2001
- 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 Gutierrez
:
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 A. Rueda:
Linear Heyting algebras with a quantifier. 327-343 - Jose Maria Turull Torres:
On the expressibility and the computability of untyped queries. 345-371
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.