BibTeX record conf/stoc/ReddyL78

download as .bib file

@inproceedings{DBLP:conf/stoc/ReddyL78,
  author       = {C. R. Reddy and
                  Donald W. Loveland},
  editor       = {Richard J. Lipton and
                  Walter A. Burkhard and
                  Walter J. Savitch and
                  Emily P. Friedman and
                  Alfred V. Aho},
  title        = {Presburger Arithmetic with Bounded Quantifier Alternation},
  booktitle    = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
                  May 1-3, 1978, San Diego, California, {USA}},
  pages        = {320--325},
  publisher    = {{ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800133.804361},
  doi          = {10.1145/800133.804361},
  timestamp    = {Sun, 02 Jun 2019 21:10:32 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/ReddyL78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics