ConstableB70'

BibTeX

@inproceedings{DBLP:conf/focs/ConstableB70,
  author    = {Robert L. Constable and
               Allan Borodin},
  title     = {On the Efficiency of Programs in Subrecursive Formalisms
               (Incomplete Version, Extended Abstract)},
  booktitle = {FOCS},
  year      = {1970},
  pages     = {60-67},
  crossref  = {DBLP:conf/focs/FOCS11},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/focs/FOCS11,
  title     = {Conference Record of 1970 Eleventh Annual Symposium on Switching
               and Automata Theory, 28-30 October 1970, Santa Monica, California,
               USA},
  booktitle = {Conference Record of 1970 Eleventh Annual Symposium on Switching
               and Automata Theory},
  publisher = {IEEE},
  year      = {1970},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}