AC complement problems: Satisfiability and negation elimination

DOI10.1007/978-3-662-21551-7_27zbMath1503.03017OpenAlexW1513628728MaRDI QIDQ5055807

Maribel Fernández

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-21551-7_27

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (2)

More problems in rewriting ⋮ Problems in rewriting III

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Explicit representation of terms defined by counter examples
• Equational problems and disunification
• Automatic proofs by induction in theories without constructors
• Negation elimination in equational formulae

This page was built for publication: AC complement problems: Satisfiability and negation elimination