Details:
Title | A Categorical Critical-pair Completion Algorithm | Author(s) | K. Stokkermans | Type | Article in Journal | Length | 43 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 27 | Number | 5 | Pages | 435--477 | Year | 1999 | Translation |
No | Refereed |
Yes |
|