Editorial board
About the Journal
Instructions for Authors
Submission
LaTeX Instructions
Archive 2009-2012
No. 1
No. 2
No. 3
No. 4
Publication Ethics
Editorial board
About the Journal
Instructions for Authors
Submission
LaTeX Instructions
Archive 2009-2012
No. 1
No. 2
No. 3
No. 4
Publication Ethics
Browse issues
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
Years
2010-2019
(1)
2011 (1)
Filter results
Filter results
Years
2010-2019
(1)
2011 (1)
1 result
Quantifier elimination in ordered abelian groups
Raf Cluckers; Immanuel Halupczok
Confluentes Mathematici, Volume 3 (2011) no. 4 p. 587-615
:
