Computational Logic

DOI10.1007/978-3-642-58622-4MaRDI QIDQ4231032zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 1999

Full work available at URL https://doi.org/10.1007/978-3-642-58622-4

zbMATH Keywords

Computational logicConferenceMarktoberdorf (Germany)Proceedings

Mathematics Subject Classification ID

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

Cited in

(7)

• Constraints on computational logic. International conference, Munich, Germany, 1994
• Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
• Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999
• scientific article; zbMATH DE number 4172924 (Why is no real title available?)
• scientific article; zbMATH DE number 1049165 (Why is no real title available?)
• scientific article; zbMATH DE number 1535994 (Why is no real title available?)
• Logic and Computation

This page was built for publication: Computational Logic

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