Decidable Theories of Preordered Fields.
Prestel, Alexander
Mathematische Annalen, Tome 255 (1981), p. 481-492 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1981-01-01
EUDML-ID : urn:eudml:doc:163613
@article{GDZPPN002321696,
     title = {Decidable Theories of Preordered Fields.},
     journal = {Mathematische Annalen},
     volume = {255},
     year = {1981},
     pages = {481-492},
     zbl = {0466.12019},
     url = {http://dml.mathdoc.fr/item/GDZPPN002321696}
}
Prestel, Alexander. Decidable Theories of Preordered Fields.. Mathematische Annalen, Tome 255 (1981) pp. 481-492. http://gdmltest.u-ga.fr/item/GDZPPN002321696/