%0 Conference Paper %1 conf/ctrs/HodgsonK90 %A Hodgson, Bernard R. %A Kent, Clement F. %B CTRS %D 1990 %E Kaplan, Stéphane %E Okada, Mitsuhiro %I Springer %K dblp %P 137-142 %T A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs90.html#HodgsonK90 %V 516 %@ 3-540-54317-1

@inproceedings{conf/ctrs/HodgsonK90, added-at = {2017-05-20T00:00:00.000+0200}, author = {Hodgson, Bernard R. and Kent, Clement F.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/235c45307fbdc25ad9fbf57891aa775a8/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1990}, editor = {Kaplan, Stéphane and Okada, Mitsuhiro}, ee = {https://doi.org/10.1007/3-540-54317-1_86}, interhash = {d3368f1df16b505afca38d08fe42d848}, intrahash = {35c45307fbdc25ad9fbf57891aa775a8}, isbn = {3-540-54317-1}, keywords = {dblp}, pages = {137-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:55:27.000+0200}, title = {A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs90.html#HodgsonK90}, volume = 516, year = 1990 }