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