Quantifier elimination in ordered abelian groups
Cluckers R, Halupczok I
Forschungsartikel (Zeitschrift)Details zur Publikation
Fachzeitschrift: Confluentes Mathematici
Jahrgang / Bandnr. / Volume: 3
Ausgabe / Heftnr. / Issue: 4
Seitenbereich: 587-615
Status: Veröffentlicht
Veröffentlichungsjahr: 2011
Autor*innen der Universität Münster
| Halupczok, Immanuel | Institut für Mathematische Logik und Grundlagenforschung |