Details:
Title | | Author(s) | Ferdinando Mora, Lorenzo Robbiano | Type | Article in Journal | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 6 | Number | 2-3 | Pages | 183-208 | Publisher | Academic Press, Inc. | Address | Duluth, MN, USA | Year | 1988 | Edition | 0 | Translation |
No | Refereed |
No | Organization |
University of Genova |
|