Congruence classes with logic variables

DOI10.1093/JIGPAL/9.1.53zbMath0970.68159OpenAlexW2128661541MaRDI QIDQ2708308

Joe Hurd

Publication date: 17 April 2001

Published in: Logic Journal of 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

Related Items (1)

KBO Constraint Solving Revisited

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