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
