A Rule-Based Framework for Building Superposition-Based Decision Procedures

DOI10.1007/978-3-642-34005-5_12zbMATH Open1367.68258OpenAlexW45564141MaRDI QIDQ3164838

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, O. Kouchnarenko

Publication date: 16 October 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-34005-5_12

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Superset Generation on Decision Diagrams

Uses Software

• Maude
• E Theorem Prover

This page was built for publication: A Rule-Based Framework for Building Superposition-Based Decision Procedures

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