Details:
| Title | Efficient preprocessing methods for quantifier elimination | | Author(s) | Gross Christian, Brown Christopher W. | | Type | Book, Chapter in Book, Conference Proceeding |
| URL |
http://dx.doi.org/10.1007/11870814_7 |
| Language | English | | Series | LNCS | | Volume | 4194 | | Pages | 89-100 | | Publisher | Springer-Verlag | | Address | Berlin-Heidelberg | | Year | 2006 | | Editor | Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V. | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
