%0 Journal Article %1 journals/jlp/0001V14 %A Nishida, Naoki %A Vidal, Germán %D 2014 %J J. Log. Algebraic Methods Program. %K dblp %N 1 %P 53-63 %T Conversion to tail recursion in term rewriting. %U http://dblp.uni-trier.de/db/journals/jlp/jlp83.html#0001V14 %V 83

@article{journals/jlp/0001V14, added-at = {2021-02-16T00:00:00.000+0100}, author = {Nishida, Naoki and Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/28a817d377c8f3cba417e64328c428851/dblp}, ee = {https://doi.org/10.1016/j.jlap.2013.07.001}, interhash = {73d5ad01728f5fae4aa7b53a3b769338}, intrahash = {8a817d377c8f3cba417e64328c428851}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 1, pages = {53-63}, timestamp = {2024-04-08T10:50:46.000+0200}, title = {Conversion to tail recursion in term rewriting.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp83.html#0001V14}, volume = 83, year = 2014 }