Computational logic and proof theory
Subtitle: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
By: Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).
Contributors: Gottlob, G.; Leitsch, Alexander, 1952-; Mundici, Daniele, 1946-; Kurt Gödel Society.
Series: Lecture notes in computer science,; 1289
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 348
Subjects: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses
Description: This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Notes: Includes bibliographical references.
"Organized by the Kurt Gödel Society"--Pref.