Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
