![](/img/cover-not-exists.png)
Equational unification, word unification, and 2nd-order equational unification
Friedrich Otto, Paliath Narendran, Daniel J. DoughertyVolume:
198
Year:
1998
Language:
english
Pages:
47
DOI:
10.1016/s0304-3975(97)00130-8
File:
PDF, 3.36 MB
english, 1998