Details:
Title | Simplification of Quantifier-free Formulae Over
Ordered Fields | Author(s) | Andreas Dolzmann, Thomas Sturm | Type | Article in Journal | Length | 23 | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 24 | Number | 2 | Pages | 209--231 | Year | 1997 | Translation |
No | Refereed |
Yes |
|