Research

Effective quantifier elimination over real closed fields


Reference:

Vorobjov, N., 2003. Effective quantifier elimination over real closed fields. (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 Conference or Workshop Items (UNSPECIFIED)
CreatorsVorobjov, N.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5506
Additional InformationID number: ISI:000186104600045

Export

Actions (login required)

View Item