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