%0 Journal Article %1 journals/apal/FarkasS88 %A Farkas, E. J. %A Szabo, Manfred E. %D 1988 %J Ann. Pure Appl. Log. %K dblp %N 2 %P 111-127 %T On the programs-as-formulas interpretation of parallel programs in peano arithmetic. %U http://dblp.uni-trier.de/db/journals/apal/apal37.html#FarkasS88 %V 37

@article{journals/apal/FarkasS88, added-at = {2020-02-21T00:00:00.000+0100}, author = {Farkas, E. J. and Szabo, Manfred E.}, biburl = {https://www.bibsonomy.org/bibtex/248773a0d565d1c817e9b4bd17127b4f2/dblp}, ee = {https://doi.org/10.1016/0168-0072(88)90024-3}, interhash = {deaef09412f58f192c05e639fa87dc16}, intrahash = {48773a0d565d1c817e9b4bd17127b4f2}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 2, pages = {111-127}, timestamp = {2020-02-22T12:48:11.000+0100}, title = {On the programs-as-formulas interpretation of parallel programs in peano arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal37.html#FarkasS88}, volume = 37, year = 1988 }