%0 Conference Paper %1 conf/stoc/JosephY81 %A Joseph, Deborah %A Young, Paul %B STOC %D 1981 %I ACM %K dblp %P 55-61 %T Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract) %U http://dblp.uni-trier.de/db/conf/stoc/stoc81.html#JosephY81

@inproceedings{conf/stoc/JosephY81, added-at = {2018-11-06T00:00:00.000+0100}, author = {Joseph, Deborah and Young, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2d5c5434a531a3f7c2987b8f8c486feb8/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC13}, ee = {https://doi.org/10.1145/800076.802457}, interhash = {c240fe239ae2dee1193df7de0e719a79}, intrahash = {d5c5434a531a3f7c2987b8f8c486feb8}, keywords = {dblp}, pages = {55-61}, publisher = {ACM}, timestamp = {2018-11-07T14:44:14.000+0100}, title = {Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract)}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc81.html#JosephY81}, year = 1981 }