Rabin s width of a complete proof and the width of a semialgebraic set

Tomás Recio, Luis Miguel Pardo. Rabin s width of a complete proof and the width of a semialgebraic set. In James H. Davenport, editor, EUROCAL 87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Volume 378 of Lecture Notes in Computer Science, pages 456-462, Springer, 1987.

Abstract

Abstract is missing.