The Complexity of Elementary Problems in Archimedean Ordered Groups

Volker Weispfenning. The Complexity of Elementary Problems in Archimedean Ordered Groups. In B. F. Caviness, editor, EUROCAL 85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions. Volume 204 of Lecture Notes in Computer Science, pages 87-88, Springer, 1985.

Abstract

Abstract is missing.