a public good project by the
Synthesis
Company
of California

© 2026

Superposition with simplification as a decision procedure for the monadic class with equality | doi.page

0 citations0 references

Google Scholar doi.org

Superposition with simplification as a decision procedure for the monadic class with equality

Lecture notes in computer science·2005·pp. 83–96

Citations Over TimeTop 10% of 2005 papers

Leo Bachmair, Harald Ganzinger, Uwe Waldmann

Related Papers

→ Resolution Theorem Proving(2001)461 cited
→ Rewrite-based Equational Theorem Proving with Selection and Simplification(1994)399 cited
→ Resolution Decision Procedures(2001)125 cited
Superposition with simplification as a decision procedure for the monadic class with equality(1993)