default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 108

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 108, Numbers 1-3, March 2001

XIth Latin American Symposium on Mathematical Logic, Merida Venezuela, July 1998

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BagariaF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BagariaF01
Joan Bagaria, Sy D. Friedman:
Generic absoluteness. 3-13
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Bianconi01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Bianconi01
Ricardo Bianconi:
Some remarks on Schanuel's conjecture. 15-18
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Carlson01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Carlson01
Timothy J. Carlson:
Elementary patterns of resemblance. 19-77
- view
  authority control:
- export record
  dblp key:
  - journals/apal/CichonB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CichonB01
E. A. Cichon, Elias Tahhan-Bittar:
Strictly orthogonal left linear rewrite systems and primitive recursion. 79-101
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ConiglioM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ConiglioM01
Marcelo E. Coniglio, Francisco Miraglia:
Modules in the category of sheaves over quantales. 103-136
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Varela01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Varela01
J. Patricio Díaz Varela:
On subvarieties of symmetric closure algebras. 137-152
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DixOZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DixOZ01
Jürgen Dix, Mauricio Osorio, Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications. 153-188
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Farah01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Farah01
Ilijas Farah:
Basis problem for turbulent actions I: Tsirelson submeasures. 189-203
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FeitosaD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FeitosaD01
Hércules A. Feitosa, Itala M. Loffredo D'Ottaviano:
Conservative translations. 205-227
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gaitan01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gaitan01
Hernando Gaitán:
Varieties of quasi-Stone algebras. 229-235
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gutierrez01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gutierrez01
Claudio Gutierrez:
Normal forms for connectedness in categories. 237-247
- view
  authority control:
- export record
  dblp key:
  - journals/apal/LewinMS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/LewinMS01
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
On free annotated algebras. 249-259
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MartinezP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MartinezP01
Néstor G. Martínez, Alejandro Petrovich:
Uniqueness of the implication for totally ordered MV-algebras. 261-268
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MundiciP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MundiciP01
Daniele Mundici, Giovanni Panti:
Decidable and undecidable prime theories in infinite-valued logic. 269-278
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ortiz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ortiz01
Carlos Ortiz:
An Omitting Types Theorem for positive bounded formulas in normed spaces. 279-294
- view
  authority control:
- export record
  dblp key:
  - journals/apal/PouzetS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/PouzetS01
Maurice Pouzet, Mohamed Sobrani:
Sandwiches of ages. 295-326
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Rueda01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Rueda01
Laura A. Rueda:
Linear Heyting algebras with a quantifier. 327-343
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Torres01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Torres01
Jose Maria Turull Torres:
On the expressibility and the computability of untyped queries. 345-371

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.