Quantifier elimination for linear formulas over ordered and valued fields

Research output: Contribution to journalArticle

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