Details:
Title | Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition | Author(s) | George E. Collins | Type | Article in Conference Proceedings | ISBN | 3-540-07407-4 |
Language | English | Journal | Lecture Notes in Computer Science | Volume | 33 | Pages | 134-183 | Publisher | Springer-Verlag | Address | London, UK | Year | 1975 | Translation |
No | Refereed |
No | Conferencename | 2nd GI Conference on Automata Theory and Formal Languages |
|