A Parallelized Theorem Prover for a Logic with Parallel Execution

DOI10.1007/978-3-642-39634-2_31zbMath1317.68230OpenAlexW86357118MaRDI QIDQ5327362

Warren A. jun. Hunt, David L. Rager, Matt Kaufmann

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_31

zbMATH Keywords

functional languageACL2parallel theorem provingparallel execution for a formal logic

Mathematics Subject Classification ID

Uses Software

• ACL2
• Isabelle
• PVS
• Maude
• PARTHEO
• SicoTHEO

This page was built for publication: A Parallelized Theorem Prover for a Logic with Parallel Execution