![](/img/cover-not-exists.png)
QUANTIFIER ELIMINATION IN ORDERED ABELIAN GROUPS
CLUCKERS, RAF, HALUPCZOK, IMMANUELVolume:
3
Language:
english
Journal:
Confluentes Mathematici
DOI:
10.1142/S1793744211000473
Date:
December, 2011
File:
PDF, 376 KB
english, 2011