BibTeX record conf/stoc/Constable70

download as .bib file

@inproceedings{DBLP:conf/stoc/Constable70,
  author    = {Robert L. Constable},
  title     = {On the Size of Programs in Subrecursive Formalisms},
  booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1970, Northampton, Massachusetts, {USA}},
  pages     = {1--9},
  year      = {1970},
  crossref  = {DBLP:conf/stoc/STOC2},
  url       = {https://doi.org/10.1145/800161.805143},
  doi       = {10.1145/800161.805143},
  timestamp = {Tue, 06 Nov 2018 11:07:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/Constable70},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC2,
  editor    = {Patrick C. Fischer and
               Robert Fabian and
               Jeffrey D. Ullman and
               Richard M. Karp},
  title     = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1970, Northampton, Massachusetts, {USA}},
  publisher = {{ACM}},
  year      = {1970},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier