default search action

combined dblp search
author search
venue search
publication search

ask others

PTCS 2001: Dagstuhl, Germany

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > Dagstuhl

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/2001ptcs
- ask others
- share record
  persistent 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
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/AehligJST01
- ask others
- share record
  persistent URL:
  - https://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
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/AltA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AltA01
Jesse Alt, Sergei N. Artëmov:
Reflective lambda-Calculus. 22-37
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BaazF01
- ask others
- share record
  persistent URL:
  - https://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
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BaazL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BaazL01
Matthias Baaz, Alexander Leitsch:
Comparing the Complexity of Cut-Elimination Methods. 49-67
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Berger01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Berger01
Ulrich Berger:
Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon₀. 68-77
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/DosenP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DosenP01
Kosta Dosen, Zoran Petric:
Coherent Bicartesian and Sesquicartesian Categories. 78-92
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/DybjerS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DybjerS01
Peter Dybjer, Anton Setzer:
Indexed Induction-Recursion. 93-113
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Elbl01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Elbl01
Birgit Elbl:
Modeling Meta-logical Features in a Calculus with Frozen Variables. 114-129
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Gordeew01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Gordeew01
Lew Gordeev:
Proof Theory and Post-turing Analysis. 130-152
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Matthes01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Matthes01
Ralph Matthes:
Interpolation for Natural Deduction with Generalized Eliminations. 153-169
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Oitavem01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Oitavem01
Isabel Oitavem:
Implicit Characterizations of Pspace. 170-190
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Schmitt01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Schmitt01
Peter H. Schmitt:
Iterate Logic. 191-201
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Studer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Studer01
Thomas Studer:
Constructive Foundations for Featherweight Java. 202-238

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.