Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings

DOI10.1007/3-540-63385-5MaRDI QIDQ1365518zbMATH OpenOpenAlexFDO

Authors

Publication date 4 September 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63385-5

zbMATH Keywords

Proof theoryProceedingsColloquiumVienna (Austria)Computational logicKGC '97

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings
• Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25--30, 2003. Proceedings
• Proceedings of the fifth international workshop on classical logic and computation, CL\&C 2014, Vienna, Austria, July 13, 2014
• Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II
• scientific article; zbMATH DE number 1049165
• Computational Logic
• scientific article; zbMATH DE number 51865
• scientific article; zbMATH DE number 2186668
• scientific article; zbMATH DE number 862427

Cited in

(3)

• A modal logic of knowledge, belief, and estimation
• Linear ordering on graphs, anti-founded sets and polynomial time computability
• Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings

This page was built for publication: Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1365518)