A Rewriting Strategy to Generate Prime Implicates in Equational Logic

DOI10.1007/978-3-319-08587-6_10zbMath1423.68412OpenAlexW52563601MaRDI QIDQ3192186

Mnacho Echenim, Sophie Tourret, Nicolas Peltier

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_10

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Quantifier-Free Equational Logic and Prime Implicate Generation ⋮ A superposition calculus for abductive reasoning

This page was built for publication: A Rewriting Strategy to Generate Prime Implicates in Equational Logic