Details:
| Title | Unification in commutative idempotent monoids | | Author(s) | Franz Baader, Wolfram | | Type | Article in Journal | | ISSN | 0304-3975 |
| Language | English | | Journal | Theoretical Computer Science | | Volume | 56 | | Number | 3 | | Pages | 345-353 | | Publisher | Elsevier Science Publishers Ltd. | | Address | Essex, UK | | Year | 1988 | | Month | March | | Translation |
No | | Refereed |
No |
|
