DBLP Record 'conf/focs/Kozen76'

BibTeX

@inproceedings{DBLP:conf/focs/Kozen76,
  author    = {Dexter Kozen},
  title     = {On Parallelism in Turing Machines},
  booktitle = {FOCS},
  year      = {1976},
  pages     = {89-97},
  crossref  = {DBLP:conf/focs/FOCS17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/focs/FOCS17,
  title     = {17th Annual Symposium on Foundations of Computer Science,
               25-27 October 1976, Houston, Texas, USA},
  booktitle = {FOCS},
  publisher = {IEEE},
  year      = {1976},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}