ask others

PTCS 2001: Dagstuhl, Germany

> Home > Conferences and Workshops > Dagstuhl

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/2001ptcs
- ask others
- share record
  short URL:
  - http://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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/AehligJST01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/AehligJST01
Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn:
Linear Ramified Higher Type Recursion and Parallel Complexity. 1-21
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/AltA01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/AltA01
Jesse Alt, Sergei N. Artëmov:
Reflective lambda-Calculus. 22-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/BaazF01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/BaazF01
Matthias Baaz, Christian G. Fermüller:
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. 38-48
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/BaazL01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/BaazL01
Matthias Baaz, Alexander Leitsch:
Comparing the Complexity of Cut-Elimination Methods. 49-67
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Berger01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Berger01
Ulrich Berger:
Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon₀. 68-77
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/DosenP01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/DosenP01
Kosta Dosen, Zoran Petric:
Coherent Bicartesian and Sesquicartesian Categories. 78-92
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/DybjerS01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/DybjerS01
Peter Dybjer, Anton Setzer:
Indexed Induction-Recursion. 93-113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Elbl01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Elbl01
Birgit Elbl:
Modeling Meta-logical Features in a Calculus with Frozen Variables. 114-129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Gordeew01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Gordeew01
Lew Gordeew:
Proof Theory and Post-turing Analysis. 1301-152
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Matthes01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Matthes01
Ralph Matthes:
Interpolation for Natural Deduction with Generalized Eliminations. 153-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Oitavem01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Oitavem01
Isabel Oitavem:
Implicit Characterizations of Pspace. 170-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Schmitt01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Schmitt01
Peter H. Schmitt:
Iterate Logic. 191-201
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/Studer01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/Studer01
Thomas Studer:
Constructive Foundations for Featherweight Java. 202-238

maintained by

at