|
" Proof theory in computer science "
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
272221
|
| Doc. No
|
:
|
b159436
|
| Main Entry
|
:
|
PTCS 2001(2001 :, Dagstuhl Castle)
|
| Title & Author
|
:
|
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /\ Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c2001.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 2183
|
| Page. NO
|
:
|
viii, 238 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
354042752X
|
|
|
:
|
: 9783540427520
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
Linear ramified higher type recursion and parallel complexity / Klaus Aehlig .. [et al.] -- Reflective [lambda]-calculus / Jesse Alt and Sergei Artemov -- A note on the proof-theoretic strength of a single application of the schema of identity / Matthias Baaz and Christian G. Fermuller -- Comparing the complexity of cut-elimination methods / Matthias Baaz and Alexander Leitsch -- Program extraction from Gentzen's proof of transfinite induction up to [epsilon]₀ / Ulrich Berger -- Coherent bicartesian and sesquicartesian categories / Kosta Dosen and Zoran Petric -- Indexed induction-recursion / Peter Dybjer and Anton Setzer -- Modeling meta-logical features in a calculus with frozen variables / Birgit Elbl -- Proof theory and post-turing analysis / Lew Gordeew -- Interpolation for natural deduction with generalized eliminations / Ralph Matthes -- Implicit characterizations of Pspace / Isabel Oitavem -- Iterate logic / Peter H. Schmitt -- Constructive foundations for featherweight Java / Thomas Studer
|
| Subject
|
:
|
Automatic theorem proving, Congresses.
|
| Added Entry
|
:
|
Kahle, Reinhard,1967-
|
|
|
:
|
Schroeder-Heister, Peter Joseph,1953-
|
|
|
:
|
Stärk, Robert F.,1963-
|
| |