Publications of Jérôme Leroux with Philipp Rümmer
Conference articles
-
Daniel Kroening,
Jérôme Leroux,
and Philipp Rümmer.
Interpolating Quantifier-Free Presburger Arithmetic.
In Christian G. Fermüller and Andrei Voronkov, editors,
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings,
volume 6397 of Lecture Notes in Computer Science,
pages 489-503,
2010.
Springer.
[pdf]
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html