Details:
| Title | The Termination of the F5 Algorithm Revisited | | Author(s) | Wang Baocang, Pan Senshan, Hu Yupu | | Type | Article in Conference Proceedings | | Keywords | f5, f5gen, gr\"obner basis, termination | | ISBN | 978-1-4503-2059-7 |
| URL |
http://doi.acm.org/10.1145/2465506.2465520 |
| Language | English | | Series | ISSAC | | Pages | 291--298 | | Publisher | ACM | | Address | New York, NY, USA | | Year | 2013 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
