DBLP Record 'conf/stoc/JosephY81'

BibTeX

@inproceedings{DBLP:conf/stoc/JosephY81,
  author    = {Deborah Joseph and
               Paul Young},
  title     = {Fast Programs for Initial Segments and Polynomial Time Computation
               in Weak Models of Arithmetic (Preliminary Abstract)},
  booktitle = {STOC},
  year      = {1981},
  pages     = {55-61},
  crossref  = {DBLP:conf/stoc/STOC13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC13,
  title     = {Conference Proceedings of the Thirteenth Annual ACM Symposium
               on Theory of Computation, 11-13 May 1981, Milwaukee, Wisconsin,
               USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}