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