Volume 97, Numbers 1-3, 21 March 1999
- Saharon Shelah, Andrés Villaveces:
Toward Categoricity for Classes with no Maximal Models.
1-25

- Fairouz Kamareddine, Roel Bloo, Rob Nederpelt:
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.
27-45

- Saharon Shelah, J. K. Truss:
On Distinguishing Quotients of Symmetric Groups.
47-83

- Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin:
Extended Order-Generic Queries.
85-125

- Matthias Baaz, Alexander Leitsch:
Cut Normal Forms and Proof Complexity.
127-177

- Norman Danner:
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus.
179-201

- Michael Benedikt:
Hierarchies of Measure-Theoretic Ultrafilters.
203-219

- Gerhard Jäger, Thomas Strahm:
Bar Induction and omega Model Reflection.
221-230

- Georg Gottlob, Nicola Leone, Helmut Veith:
Succinctness as a Source of Complexity in Logical Formalisms.
231-260

Last update Tue May 21 03:47:47 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page