default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 99

> 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 99, Numbers 1-3, 31 August 1999

- view
  authority control:
- export record
  dblp key:
  - journals/apal/ChapuisK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ChapuisK99
Olivier Chapuis, Pascal Koiran:
Saturation and Stability in the Theory of Computation over the Reals. 1-49
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Solecki99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Solecki99
Slawomir Solecki:
Analytic Ideals and Their Applications. 51-72
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Niggl99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Niggl99
Karl-Heinz Niggl:
M^omega Considered as a Programming Language. 73-92
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BussM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BussM99
Samuel R. Buss, Grigori Mints:
The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic. 93-104
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Borisavljevic99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Borisavljevic99
Mirjana Borisavljevic:
A Cut-Elimination Proof in Intuitionistic Predicate Logic. 105-136
- view
  authority control:
- export record
  dblp key:
  - journals/apal/KearnesKV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KearnesKV99
Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote:
A Geometric Consequence of Residual Smallness. 137-169
- view
  authority control:
- export record
  dblp key:
  - journals/apal/LouveauV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/LouveauV99
Alain Louveau, Boban Velickovic:
Analytic Ideals and Cofinal Types. 171-195
- view
  authority control:
- export record
  dblp key:
  - journals/apal/IvanovM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/IvanovM99
Alexandre A. Ivanov, Dugald Macpherson:
Strongly Determined Types. 197-230
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Coquand99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Coquand99
Thierry Coquand:
A Boolean Model of Ultrafilters. 231-239
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Moss99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Moss99a
Lawrence S. Moss:
Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317. 241-259

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.