Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2001 (conf/dagstuhl/2001ptcs)

1. Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn
   Linear Ramified Higher Type Recursion and Parallel Complexity. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:1-21 [Conf]
   
2. Jesse Alt, Sergei N. Artëmov
   Reflective lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:22-37 [Conf]
   
3. Matthias Baaz, Christian G. Fermüller
   A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:38-48 [Conf]
   
4. Matthias Baaz, Alexander Leitsch
   Comparing the Complexity of Cut-Elimination Methods. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:49-67 [Conf]
   
5. Ulrich Berger
   Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon₀. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:68-77 [Conf]
   
6. Kosta Dosen, Zoran Petric
   Coherent Bicartesian and Sesquicartesian Categories. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:78-92 [Conf]
   
7. Peter Dybjer, Anton Setzer
   Indexed Induction-Recursion. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:93-113 [Conf]
   
8. Birgit Elbl
   Modeling Meta-logical Features in a Calculus with Frozen Variables. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:114-129 [Conf]
   
9. Ralph Matthes
   Interpolation for Natural Deduction with Generalized Eliminations. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:153-169 [Conf]
   
10. Isabel Oitavem
    Implicit Characterizations of Pspace. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:170-190 [Conf]
    
11. Peter H. Schmitt
    Iterate Logic. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:191-201 [Conf]
    
12. Thomas Studer
    Constructive Foundations for Featherweight Java. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:202-238 [Conf]
    
13. Lew Gordeew
    Proof Theory and Post-turing Analysis. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:1301-152 [Conf]