Login / Signup
AC Unification Through Order-Sorted AC1 Unification.
Eric Domenjoud
Published in:
RTA (1991)
Keyphrases
</>
higher order
theorem prover
theorem proving
arc consistency
equational theories
database
machine learning
image sequences
search algorithm
autonomous agents
knuth bendix
order sorted