%0 Journal Article %1 journals/mlcs/CrossleyR94 %A Crossley, John N. %A Remmel, Jeffrey B. %D 1994 %J Meth. of Logic in CS %K dblp %N 2 %P 183-215 %T Proofs, programs, and run times. %U http://dblp.uni-trier.de/db/journals/mlcs/mlcs1.html#CrossleyR94 %V 1

@article{journals/mlcs/CrossleyR94, added-at = {2015-07-02T00:00:00.000+0200}, author = {Crossley, John N. and Remmel, Jeffrey B.}, biburl = {https://www.bibsonomy.org/bibtex/25f26617aa469a07068cf132d7e93af85/dblp}, ee = {http://dl.acm.org/citation.cfm?id=200763}, interhash = {f2f9d24215336082192c8e33a57d26c9}, intrahash = {5f26617aa469a07068cf132d7e93af85}, journal = {Meth. of Logic in CS}, keywords = {dblp}, number = 2, pages = {183-215}, timestamp = {2015-07-03T11:33:04.000+0200}, title = {Proofs, programs, and run times.}, url = {http://dblp.uni-trier.de/db/journals/mlcs/mlcs1.html#CrossleyR94}, volume = 1, year = 1994 }