Details:
Title | An Algebraic Approach to Unification Under Associativity and Commutativity | Author(s) | Albrecht Fortenbacher | Type | Article in Journal | Length | 23 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 3 | Number | 3 | Pages | 217--229 | Year | 1987 | Translation |
No | Refereed |
Yes |
|