Decomposition of Decidable First-Order Logics over Integers and Reals

Florent Bouchy, Alain Finkel, Jérôme Leroux

We tackle the issue of representing infinite sets of real- valued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose…