Publications [#237103] of John H. Reif

Journal articles or Book chapters PUBLISHED

1. Ben-Or, M; Kozen, D; Reif, J, The complexity of elementary algebra and geometry, Journal of Computer and System Sciences, vol. 32 no. 2 (January, 1986), pp. 251-264, Elsevier BV, ISSN 0022-0000 [doi]
   (last updated on 2026/02/08)

   Abstract:
   The theory of real closed fields can be decided in exponential space or parallel exponential time. In fixed dimension, the theory can be decided in NC. © 1986.