Volume 104,
Number 1-3,
15 May 2000
- Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel:
Preface.
1-2 BibTeX
- Noriko H. Arai:
Relative efficency of propositional proof systems: resolution vs. cut-free LK.
3-16 BibTeX
- Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Schwichtenberg:
Higher type recursion, ramification and polynomial time.
17-30 BibTeX
- Wolfgang Burr:
Functional interpretation of Aczel's constructive set theory.
31-73 BibTeX
- Solomon Feferman, Thomas Strahm:
The unfolding of non-finitist arithmetic.
75-96 BibTeX
- Lex Hendriks:
Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic.
97-112 BibTeX
- Martin Hofmann:
Safe recursion with higher types and BCK-algebra.
113-166 BibTeX
- Grigori Mints:
Reduction of finite and infinite derivations.
167-188 BibTeX
- Ieke Moerdijk, Erik Palmgren:
Wellfounded trees in categories.
189-218 BibTeX
- Hans de Nivelle:
Deciding the E+ - class by an a posteriori, liftable order.
219-232 BibTeX
- Jaap van Oosten, Alex K. Simpson:
Axioms and (counter) examples in synthetic domain theory.
233-278 BibTeX
- Chris Pollett:
Multifunction algebras and the provability of PH.
279-302 BibTeX
- Thomas Strahm:
The non-constructive mu operator, fixed point theories with ordinals, and the bar rule.
305-324 BibTeX
- Luca Trevisan:
Interactive and probabilistic proof-checking.
325-342 BibTeX
Copyright © Wed Jun 4 19:03:02 2008
by Michael Ley (ley@uni-trier.de)
