Effective quantifier elimination over real closed fields
Reference:
Vorobjov, N., 2003. Effective quantifier elimination over real closed fields. In: Computer Science Logic, Proceedings. Vol. 2803. , p. 545. (Lecture Notes in Computer Science)
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Details
| Item Type | Book Sections |
| Creators | Vorobjov, N. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 5506 |
| Additional Information | ID number: ISI:000186104600045 |
Export
Actions (login required)
| View Item |
