Details:
Title | The theory of idempotent semigroups is of unification type zero | Author(s) | Franz Baader | Type | Article in Journal | ISSN | 0168-7433 |
Language | English | Journal | Journal of Automated Reasoning | Volume | 2 | Number | 3 | Pages | 283-286 | Publisher | Kluwer Academic Publishers | Address | Hingham, MA, USA | Year | 1987 | Month | August | Translation |
No | Refereed |
No |
|