A Decision Procedure for the First Order Theory of Real Addition with Order
- 1 March 1975
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 4 (1) , 69-76
- https://doi.org/10.1137/0204006
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Relationships between nondeterministic and deterministic tape complexitiesJournal of Computer and System Sciences, 1970
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951