Publications of Jérôme Leroux with Florent Bouchy


Conference articles

  1. Florent Bouchy, Jérôme Leroux, and Alain Finkel. Decomposition of Decidable First-Order Logics over Integers and Reals. In Temporal Representation and Reasoning, 15th International Symposium, TIME 2008, Montréal, Canada, June 16 - 18, 2008, Proceedings, pages 147-155, 2008. IEEE Computer Society Press. [ps] [doi] [bib]


This document was translated from BibTEX by bibtex2html