Research

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
CreatorsVorobjov, N.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5506
Additional InformationID number: ISI:000186104600045

Export

Actions (login required)

View Item