@inproceedings{25b56bc2984a4688af4634577309d621,
title = "ALGEBRAIC CELL DECOMPOSITION IN NC.",
abstract = "An algorithm is given for constructing a cell decomposition of R**D, including adjacency information, defined by any given set of rational polynomials in d variables. The algorithm runs in single exponential parallel time, and in NC for fixed d. The algorithm extends a recent algorithm for deciding the theory of real closed fields.",
author = "Dexter Kozen and Yap, {Chee Keng}",
year = "1985",
doi = "10.1109/sfcs.1985.4",
language = "English (US)",
isbn = "0818606444",
series = "Annual Symposium on Foundations of Computer Science (Proceedings)",
publisher = "IEEE",
pages = "515--521",
booktitle = "Annual Symposium on Foundations of Computer Science (Proceedings)",
}