Decision procedures for real and p‐adic fields
- 1 March 1969
- journal article
- research article
- Published by Wiley in Communications on Pure and Applied Mathematics
- Vol. 22 (2) , 131-151
- https://doi.org/10.1002/cpa.3160220202
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Diophantine Problems Over Local Fields IAmerican Journal of Mathematics, 1965
- Linear Partial Differential OperatorsPublished by Springer Nature ,1963
- A New Decision Method for Elementary AlgebraAnnals of Mathematics, 1954
- On Quasi Algebraic ClosureAnnals of Mathematics, 1952
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951