On the SUP-INF Method for Proving Presburger Formulas.
Robert E. Shostak:
On the SUP-INF Method for Proving Presburger Formulas.
J. ACM 24(4): 529-543(1977)@article{DBLP:journals/jacm/Shostak77,
author = {Robert E. Shostak},
title = {On the SUP-INF Method for Proving Presburger Formulas},
journal = {J. ACM},
volume = {24},
number = {4},
year = {1977},
pages = {529-543},
ee = {db/journals/jacm/Shostak77.html, http://doi.acm.org/10.1145/322033.322034},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Jean-Louis Lassez:
From LP to LP: Programming with Constraints.
DBPL 1991: 257-283
BibTeX
Copyright © Sun May 17 00:05:27 2009
by Michael Ley (ley@uni-trier.de)