Quantifier elimination for linear formulas over ordered and valued fields

Lou van den Dries

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)19-31
Number of pages13
JournalBull. Soc. Math. Belg. Sér. B
Volume33
Issue number1
StatePublished - 1981

Cite this