Details:
| Title | Groebner bases, Ritt's algorithm and decision procedures for algebraic theories | | Author(s) | Giuseppa , Giorgio Gallo | | Type | Article in Conference Proceedings | | ISBN | 0-387-51082-6 |
| Language | English | | Pages | 230-237 | | Publisher | Springer-Verlag New York, Inc. | | Address | New York, NY, USA | | Year | 1987 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
