Automated Deduction – CADE-19

DOI10.1007/b11829zbMath1278.68272OpenAlexW2483160171MaRDI QIDQ5900722

Panagiotis Manolios, Daron Vroon

Publication date: 20 April 2010

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

Full work available at URL: https://doi.org/10.1007/b11829

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ordinal and cardinal numbers (03E10)

Related Items

Ordinal arithmetic: Algorithms and mechanization, A mechanical analysis of program verification strategies, Milestones from the Pure Lisp Theorem Prover to ACL2, Integrating external deduction tools with ACL2, Specification and verification of concurrent programs through refinements

Uses Software

• ACL2