Single versus simultaneous equational unification and equational unification for variable-permuting theories
From MaRDI portal
Publication:1367080
DOI10.1023/A:1005764526878zbMath0882.68079MaRDI QIDQ1367080
Paliath Narendran, Friedrich Otto
Publication date: 4 February 1998
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items (2)
Permutative rewriting and unification ⋮ \(E\)-unification with constants vs. general \(E\)-unification
This page was built for publication: Single versus simultaneous equational unification and equational unification for variable-permuting theories
