Publications of Jérôme Leroux with Philipp Rümmer


Conference articles

  1. 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