Automating the synthesis of decision procedures in a constructive metatheory

DOI10.1023/A:1018943603394zbMath0905.68140MaRDI QIDQ1267772

Alessandro Armando, Alan Bundy, Alan Smaill, Jason Gallagher

Publication date: 25 November 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

propositional logic; decision procedures; proof-planning

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• Nuprl
• CLAM