%0 Conference Paper %1 conf/aplas/AndersonK03 %A Anderson, Hugh %A Khoo, Siau-Cheng %B APLAS %D 2003 %E Ohori, Atsushi %I Springer %K dblp %P 122-140 %T Affine-Based Size-Change Termination. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2003.html#AndersonK03 %V 2895 %@ 3-540-20536-5

@inproceedings{conf/aplas/AndersonK03, added-at = {2017-05-19T00:00:00.000+0200}, author = {Anderson, Hugh and Khoo, Siau-Cheng}, biburl = {https://www.bibsonomy.org/bibtex/2335d12c57f4a7926250854211cb6e9ac/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2003}, editor = {Ohori, Atsushi}, ee = {https://doi.org/10.1007/978-3-540-40018-9_9}, interhash = {38adc086bae3bdc3a6f49da99f78d41f}, intrahash = {335d12c57f4a7926250854211cb6e9ac}, isbn = {3-540-20536-5}, keywords = {dblp}, pages = {122-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:41:42.000+0200}, title = {Affine-Based Size-Change Termination.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2003.html#AndersonK03}, volume = 2895, year = 2003 }