Congruence classes with logic variables

DOI10.1093/JIGPAL/9.1.53MaRDI QIDQ2708308zbMATH OpenOpenAlexFDO

Authors Joe Hurd

Publication date 17 April 2001

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/24f23b0ddc284b9e8059a754a748f970683aae3b

zbMATH Keywords

automatic theorem-provers

Mathematics Subject Classification ID

Recommendations

• Abstract congruence closure
• Computing congruent closures on terms
• Fast congruence closure and extensions
• Term Rewriting and Applications
• scientific article; zbMATH DE number 1614687

Cited in

(2)

• KBO Constraint Solving Revisited
• Computing ground congruence classes

This page was built for publication: Congruence classes with logic variables

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