![](/img/cover-not-exists.png)
Complexity of unification problems with associative-commutative operators
Deepak Kapur, Paliath NarendranVolume:
9
Language:
english
Pages:
28
DOI:
10.1007/bf00245463
Date:
October, 1992
File:
PDF, 1.56 MB
english, 1992