Yaohui Li, YuQing Song, Zhifeng Wu. Signature-Based Method of Deciding Program Termination. In Ruyong Feng, Wen-shin Lee, Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks. pages 297-310, Springer, 2012. [doi]
@inproceedings{LiSW12-3,
title = {Signature-Based Method of Deciding Program Termination},
author = {Yaohui Li and YuQing Song and Zhifeng Wu},
year = {2012},
doi = {10.1007/978-3-662-43799-5_22},
url = {http://dx.doi.org/10.1007/978-3-662-43799-5_22},
researchr = {https://researchr.org/publication/LiSW12-3},
cites = {0},
citedby = {0},
pages = {297-310},
booktitle = {Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks},
editor = {Ruyong Feng and Wen-shin Lee and Yosuke Sato},
publisher = {Springer},
isbn = {978-3-662-43799-5},
}