Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 85-121
https://doi.org/10.1007/978-3-7091-9459-1_4

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: