Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

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


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

Automatic theorem proving -- Congresses

Central Library (4th Floor)004.015113 P975PCHECK SHELVES

Chulalinet's Book Delivery Request


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram