Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMath1133.68326OpenAlexW2486590071MaRDI QIDQ5479280

Erik Rosenthal, Neil V. Murray

Publication date: 7 July 2006

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Data structures (68P05)

Related Items (1)

Efficient query processing with reduced implicate tries

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods