Proof Theory in Computer Science (Dagstuhl Seminar 01411)

Kahle, Reinhard; Schröder-Heister, Peter; Stärk, Robert F.

doi:10.4230/DagSemRep.322

Document

Proof Theory in Computer Science (Dagstuhl Seminar 01411)

Authors Reinhard Kahle, Peter Schröder-Heister, Robert F. Stärk

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2002-02-15

PDF

File

DagSemRep.322.pdf

Filesize: 1 MB
18 pages

Document Identifiers

DOI: 10.4230/DagSemRep.322
URN: urn:nbn:de:0030-drops-152062

Author Details

Reinhard Kahle

Peter Schröder-Heister

Robert F. Stärk

Cite As Get BibTex

Reinhard Kahle, Peter Schröder-Heister, and Robert F. Stärk. Proof Theory in Computer Science (Dagstuhl Seminar 01411). Dagstuhl Seminar Report 322, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002) https://doi.org/10.4230/DagSemRep.322

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail