QUANTIFIER ELIMINATION IN ORDERED ABELIAN GROUPS
CLUCKERS, RAF; HALUPCZOK, IMMANUEL
- 期刊名称Confluentes Mathematici
- 作者CLUCKERS, RAF; HALUPCZOK, IMMANUEL
- 卷第3卷
- 期第4期
- 印刷ISSN1793-7442
- 电子ISSN1793-7434
- 文件大小376.13KB
- 发表时间2011-12
- DOI10.1142/S1793744211000473
- 页码587-615