Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic

DOI10.1007/978-3-540-73086-6_7MaRDI QIDQ5428261zbMATH OpenOpenAlexFDO

Authors Predrag Janičić, Alan Bundy

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/412763/Automatic_synthesis_of_decision_procedures.pdf

Mathematics Subject Classification ID

Recommendations

• Automating the synthesis of decision procedures in a constructive metatheory
• scientific article; zbMATH DE number 4112064
• Mechanizing Mathematical Reasoning
• Computer Science Logic
• Logic programming approach to automata-based decision procedures
• Logic Programming Approach to Automata-Based Decision Procedures
• scientific article; zbMATH DE number 1929303

Cited in

(3)

• Automating the synthesis of decision procedures in a constructive metatheory
• Learning strategies for mechanised building of decision procedures
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

This page was built for publication: Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic

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