| |
| 2008 | ||
|---|---|---|
| 2 | EE | Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals. TIME 2008: 147-155 |
| 1 | EE | Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals CoRR abs/0812.1967: (2008) |
| 1 | Alain Finkel | [1] [2] |
| 2 | Jérôme Leroux | [1] [2] |