N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets

Floris Geerts, Lieven Smits, Jan Van den Bussche. N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. Acta Informatica, 42(1):43-56, 2005. [doi]

Abstract

Abstract is missing.