Publications of Jérôme Leroux with Florent Bouchy
Conference articles
-
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