IMDEA initiative
Abstract: This paper investigates ER(r^Z), that is the extension of the existential theory of the reals by an additional unary pre...
