Real addition and the polynomial hierarchy
- 8 April 1985
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 20 (3), 115-120
- https://doi.org/10.1016/0020-0190(85)90076-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Remarks on piecewise-linear algebraPacific Journal of Mathematics, 1982
- Nonlinear regulation: The piecewise linear approachIEEE Transactions on Automatic Control, 1981
- The complexity of logical theoriesTheoretical Computer Science, 1980
- On time-space classes and their relation to the theory of real additionTheoretical Computer Science, 1980
- The polynomial-time hierarchyTheoretical Computer Science, 1976
- A Decision Procedure for the First Order Theory of Real Addition with OrderSIAM Journal on Computing, 1975