%0 Conference Paper %1 conf/rta/AotoT98 %A Aoto, Takahito %A Toyama, Yoshihito %B RTA %D 1998 %E Nipkow, Tobias %I Springer %K dblp %P 256-270 %T Termination Transformation by Tree Lifting Ordering. %U http://dblp.uni-trier.de/db/conf/rta/rta98.html#AotoT98 %V 1379 %@ 3-540-64301-X

@inproceedings{conf/rta/AotoT98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aoto, Takahito and Toyama, Yoshihito}, biburl = {https://www.bibsonomy.org/bibtex/2078b1b06ceb07788bf2ca113bd704650/dblp}, booktitle = {RTA}, crossref = {conf/rta/1998}, editor = {Nipkow, Tobias}, ee = {https://doi.org/10.1007/BFb0052375}, interhash = {35e28daad6b8c609ac4f564388be3758}, intrahash = {078b1b06ceb07788bf2ca113bd704650}, isbn = {3-540-64301-X}, keywords = {dblp}, pages = {256-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:52:19.000+0200}, title = {Termination Transformation by Tree Lifting Ordering.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta98.html#AotoT98}, volume = 1379, year = 1998 }