AuthorPTCS 2001 (2001 : Dahgstuhl Castle)
TitleProof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.)
Imprint Berlin : Springer, c2001
Descript viii, 238 p. ; 24 cm

CONTENT

Linea ramofied higher type recursion and parallel complexity -- Cut-elimination methods -- Coherent bicartesian and sesquicartesian categories -- Indexed induction-recursion -- Modeling meta-logical features in a calculus with frozen variables -- Post-turing analysis -- Interpolation for natural deduction with generalized eliminations -- Implicit characterizations of Pspace -- Iterate logic -- Constructive foundations for featherweight Java


SUBJECT

  1. Automatic theorem proving -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)004.015113 P975P CHECK SHELVES