%0 Journal Article %1 journals/siamcomp/DowneyS76 %A Downey, Peter J. %A Sethi, Ravi %D 1976 %J SIAM J. Comput. %K dblp %N 3 %P 378-401 %T Correct Computation Rules for Recursive Languages. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp5.html#DowneyS76 %V 5

@article{journals/siamcomp/DowneyS76, added-at = {2011-02-01T00:00:00.000+0100}, author = {Downey, Peter J. and Sethi, Ravi}, biburl = {https://www.bibsonomy.org/bibtex/23ca45f0d4a9e6f860258fe73894b6ed8/dblp}, ee = {http://dx.doi.org/10.1137/0205031}, interhash = {10cecd49be83fde55ff4cce03ae382d8}, intrahash = {3ca45f0d4a9e6f860258fe73894b6ed8}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 3, pages = {378-401}, timestamp = {2011-04-29T15:07:32.000+0200}, title = {Correct Computation Rules for Recursive Languages.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp5.html#DowneyS76}, volume = 5, year = 1976 }