%0 Conference Paper %1 conf/rta/AotoY03 %A Aoto, Takahito %A Yamada, Toshiyuki %B RTA %D 2003 %E Nieuwenhuis, Robert %I Springer %K dblp %P 380-394 %T Termination of Simply Typed Term Rewriting by Translation and Labelling. %U http://dblp.uni-trier.de/db/conf/rta/rta2003.html#AotoY03 %V 2706 %@ 3-540-40254-3

@inproceedings{conf/rta/AotoY03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aoto, Takahito and Yamada, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/264340a6aa8923b4c9dbbcd0f48b10590/dblp}, booktitle = {RTA}, crossref = {conf/rta/2003}, editor = {Nieuwenhuis, Robert}, ee = {https://doi.org/10.1007/3-540-44881-0_27}, interhash = {ffe5a5265138e0f968e3ff302711bd49}, intrahash = {64340a6aa8923b4c9dbbcd0f48b10590}, isbn = {3-540-40254-3}, keywords = {dblp}, pages = {380-394}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:39:21.000+0200}, title = {Termination of Simply Typed Term Rewriting by Translation and Labelling.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2003.html#AotoY03}, volume = 2706, year = 2003 }