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

DOI10.1007/3-540-63385-5zbMATH Open0870.00023OpenAlexW2479925372MaRDI QIDQ1365518FDOQ1365518

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

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

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)

Cited In (3)

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

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)