Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
From MaRDI portal
Publication:1365518
DOI10.1007/3-540-63385-5zbMath0870.00023OpenAlexW2479925372MaRDI QIDQ1365518
No author found.
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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
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
