@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)",

}