Quantifier elimination in ordered abelian groups
Cluckers R, Halupczok I
Research article (journal)Details about the publication
Journal: Confluentes Mathematici
Volume: 3
Issue: 4
Page range: 587-615
Status: Published
Release year: 2011
Authors from the University of Münster
| Halupczok, Immanuel | Institute of Mathematical Logic and Basic Research |