Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2001

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Editors:

  1. Reinhard Kahle

    1. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Tübingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Schroeder-Heister

    1. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Tübingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Robert Stärk

    1. Theoretische Informatik, ETH Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2183)

Conference series link(s): PTCS: International Seminar on Proof Theory in Computer Science

Conference proceedings info: PTCS 2001.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 papers)

  1. Front Matter

    Pages I-IX
    PDF

  2. Linear Ramified Higher Type Recursion and Parallel Complexity

    • Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan A. Terwijn
    Pages 1-21

  3. Reflective λ-Calculus

    • Jesse Alt, Sergei Artemov
    Pages 22-37

  5. Comparing the Complexity of Cut-Elimination Methods

    • Matthias Baaz, Alexander Leitsch
    Pages 49-67

  7. Coherent Bicartesian and Sesquicartesian Categories

    • Kosta Došen, Zoran Petrić
    Pages 78-92

  8. Indexed Induction-Recursion

    • Peter Dybjer, Anton Setzer
    Pages 93-113

  10. Proof Theory and Post-turing Analysis

    • Lew Gordeew
    Pages 130-152

  12. Implicit Characterizations of Pspace

    • Isabel Oitavem
    Pages 170-190

  13. Iterate logic

    • Peter H. Schmitt
    Pages 191-201

  15. Back Matter

    Pages 239-239
    PDF
Back to top

Other Volumes

  1. Proof Theory in Computer Science

Back to top

About this book

Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only ?xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti?c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider ?eld of logic in computer science.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Tübingen, Germany

    Reinhard Kahle, Peter Schroeder-Heister

  • Theoretische Informatik, ETH Zürich, Switzerland

    Robert Stärk

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation