4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2009★ 2 cited
Dense-choice Counter Machines revisited
Florent Bouchy, Alain Finkel, Pierluigi San Pietro
This paper clarifies the picture about Dense-choice Counter Machines, which have been less studied than (discrete) Counter Machines. We revisit the definition of "Dense Counter Mac…
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…