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.)

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addres...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	PTCS 2001 Dahgstuhl Castle
Other Authors:	Kahle, Reinhard, 1967-, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert F., 1963-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2001.
Series:	Lecture notes in computer science ; 2183.
Subjects:	Automatic theorem proving > Congresses. Automatic theorem proving. Conference papers and proceedings.