Volume 82,
Number 1,
November 1996
- Marco Cesati, Michael R. Fellows:
Sparse Parameterized Problems.
1-15
- Xiaoding Yi:
A Non-Splitting Theorem for d.r.e. Sets.
17-96
- Saharon Shelah:
In the Random Graph G(n, p), p = n-a: If psi Has Probability O(n-epsilon) for Every epsilon>0 Then it Has Probability O(e-nepsilon) for Some epsilon>0.
97-102
Volume 82,
Number 2,
5 December 1996
- Martin Grohe:
Arity Hierarchies.
103-163
- Jeremy Avigad:
Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic.
165-191
- Thomas Glaß, Thomas Strahm:
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join.
193-219
Volume 82,
Number 3,
15 December 1996
Copyright © Thu Dec 10 20:18:33 2009
by Michael Ley (ley@uni-trier.de)