BibTeX record conf/stoc/Yap80

download as .bib file

@inproceedings{DBLP:conf/stoc/Yap80,
  author       = {Chee{-}Keng Yap},
  editor       = {Raymond E. Miller and
                  Seymour Ginsburg and
                  Walter A. Burkhard and
                  Richard J. Lipton},
  title        = {Space-time Tradeoffs and First Order Problems in a Model of Programs},
  booktitle    = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
                  April 28-30, 1980, Los Angeles, California, {USA}},
  pages        = {318--325},
  publisher    = {{ACM}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800141.804680},
  doi          = {10.1145/800141.804680},
  timestamp    = {Tue, 06 Nov 2018 11:07:05 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Yap80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}