ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

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