We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
PTCS 2001:
Dagstuhl, Germany
share record
short URL:
https://dblp.org/rec/conf/dagstuhl/2001ptcs Reinhard Kahle ,
Peter Schroeder-Heister ,
Robert F. Stärk :
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings. Lecture Notes in Computer Science 2183,
Springer 2001 , ISBN
3-540-42752-X export record
dblp key:
conf/dagstuhl/AehligJST01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/AehligJST01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/AltA01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/BaazF01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/BaazL01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Berger01 Ulrich Berger :
Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0 . 68-77 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/DosenP01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/DybjerS01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Elbl01 Birgit Elbl :
Modeling Meta-logical Features in a Calculus with Frozen Variables. 114-129 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Gordeew01 Lew Gordeew :
Proof Theory and Post-turing Analysis. 1301-152 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Matthes01 Ralph Matthes :
Interpolation for Natural Deduction with Generalized Eliminations. 153-169 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Oitavem01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Schmitt01 share record
short URL:
https://dblp.org/rec/conf/dagstuhl/Studer01 Thomas Studer :
Constructive Foundations for Featherweight Java. 202-238
maintained by
at