Browse Dept. of Computer Science by Subject "Narrowing modulo"
Now showing items 1-1 of 1
(Elsevier, 2012)Automated reasoning modulo an equational theory $\caE$ is a fundamental technique in many applications. If $\caE$ can be split as a disjoint union $E\!\cup \!Ax$ in such a way that $E$ is confluent, terminating, ...