scientific article
From MaRDI portal
Publication:3696500
zbMath0576.68015MaRDI QIDQ3696500
Leo Bachmair, David Alan Plaisted
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational theorysimplification orderingstermination of associative commutative term rewriting systems
Related Items
A term equality problem equivalent to graph isomorphism, Automated deduction with associative-commutative operators, Rewriting with a nondeterministic choice operator, Predicate Completion for non-Horn Clause Sets
