%0 Journal Article %1 journals/jsyml/KentH89 %A Kent, Clement F. %A Hodgson, Bernard R. %D 1989 %J J. Symb. Log. %K dblp %N 3 %P 779-794 %T Extensions of Arithmetic For Proving Termination of Computations. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml54.html#KentH89 %V 54

@article{journals/jsyml/KentH89, added-at = {2014-08-05T00:00:00.000+0200}, author = {Kent, Clement F. and Hodgson, Bernard R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/267c014312c5ea838324d14e6be02b085/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183743017}, interhash = {9d8580a6d97931d1366bf6a670604494}, intrahash = {67c014312c5ea838324d14e6be02b085}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {779-794}, timestamp = {2016-02-02T07:28:27.000+0100}, title = {Extensions of Arithmetic For Proving Termination of Computations.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml54.html#KentH89}, volume = 54, year = 1989 }