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 |
|
