BibTeX record conf/stoc/Kozen78

• > Home > conf/stoc/Kozen78

@inproceedings{DBLP:conf/stoc/Kozen78,
  author       = {Dexter Kozen},
  editor       = {Richard J. Lipton and
                  Walter A. Burkhard and
                  Walter J. Savitch and
                  Emily P. Friedman and
                  Alfred V. Aho},
  title        = {Indexing of Subrecursive Classes},
  booktitle    = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
                  May 1-3, 1978, San Diego, California, {USA}},
  pages        = {287--295},
  publisher    = {{ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800133.804358},
  doi          = {10.1145/800133.804358},
  timestamp    = {Mon, 30 Mar 2026 15:37:35 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/Kozen78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}