ask others

Annals of Pure and Applied Logic, Volume 97

> Home > Journals > Annals of Pure and Applied Logic

Volume 97, Numbers 1-3, 21 March 1999

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/ShelahV99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/ShelahV99
Saharon Shelah, Andrés Villaveces:
Toward Categoricity for Classes with no Maximal Models. 1-25
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/KamareddineBN99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/KamareddineBN99
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt:
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. 27-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/ShelahT99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/ShelahT99
Saharon Shelah, J. K. Truss:
On Distinguishing Quotients of Symmetric Groups. 47-83
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/BelegradekST99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/BelegradekST99
Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin:
Extended Order-Generic Queries. 85-125
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/BaazL99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/BaazL99
Matthias Baaz, Alexander Leitsch:
Cut Normal Forms and Proof Complexity. 127-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/Danner99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/Danner99
Norman Danner:
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus. 179-201
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/Benedikt99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/Benedikt99
Michael Benedikt:
Hierarchies of Measure-Theoretic Ultrafilters. 203-219
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/JagerS99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/JagerS99
Gerhard Jäger, Thomas Strahm:
Bar Induction and omega Model Reflection. 221-230
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/GottlobLV99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/GottlobLV99
Georg Gottlob, Nicola Leone, Helmut Veith:
Succinctness as a Source of Complexity in Logical Formalisms. 231-260