48 citations · 66 across the 4 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008★ 4 cited
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…
cs.CG2008★ 4 cited
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Alain Finkel, Jérôme Leroux
Number Decision Diagrams (NDD) provide a natural finite symbolic representation for regular set of integer vectors encoded as strings of digit vectors (least or most significant di…