Details:
Title | Efficiently computing minimal sets of critical pairs | Author(s) | Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano | Type | Article in Journal | Length | 22 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 38 | Number | 4 | Pages | 1169--1190 | Year | 2004 | Translation |
No | Refereed |
Yes |
|