Title: | An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic |
---|---|
Links: | Homepage Document as PDF |
Authors: | Angelo Brillout |
Daniel Kroening EMail | |
Philipp Rümmer | |
Thomas Wahl | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{bkrw2010, AUTHOR = { Brillout, Angelo and Kroening, Daniel and R{\"u}mmer, Philipp and Wahl, Thomas }, TITLE = { An Interpolating Sequent Calculus for Quantifier-Free {Presburger} Arithmetic }, BOOKTITLE = { Proceedings of IJCAR }, YEAR = { 2010 }, PUBLISHER = { Springer }, PAGES = { 384--399 }, ISBN = { 978-3-642-14202-4 }, SERIES = { LNCS }, VOLUME = { 6173 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.