DBLP Record 'conf/stoc/Buss87'

BibTeX

@inproceedings{DBLP:conf/stoc/Buss87,
  author    = {Samuel R. Buss},
  title     = {The Boolean Formula Value Problem Is in ALOGTIME},
  booktitle = {STOC},
  year      = {1987},
  pages     = {123-131},
  crossref  = {DBLP:conf/stoc/STOC19},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC19,
  title     = {Proceedings of the Nineteenth Annual ACM Symposium on Theory
               of Computing, 25-27 May 1987, New York City, NY, USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}