%0 Conference Paper %1 conf/lopstr/NguyenS06 %A Nguyen, Manh Thang %A Schreye, Danny De %B LOPSTR %D 2006 %E Puebla, Germán %I Springer %K dblp %P 210-218 %T Polytool: Proving Termination Automatically Based on Polynomial Interpretations. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2006.html#NguyenS06 %V 4407 %@ 978-3-540-71409-5

@inproceedings{conf/lopstr/NguyenS06, added-at = {2022-10-02T00:00:00.000+0200}, author = {Nguyen, Manh Thang and Schreye, Danny De}, biburl = {https://www.bibsonomy.org/bibtex/20ec0cb54d06e8bf61a269f6b95f00c2b/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2006}, editor = {Puebla, Germán}, ee = {https://doi.org/10.1007/978-3-540-71410-1_15}, interhash = {3b1397026f4a0722a7242ac7db261ea1}, intrahash = {0ec0cb54d06e8bf61a269f6b95f00c2b}, isbn = {978-3-540-71409-5}, keywords = {dblp}, pages = {210-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:26:49.000+0200}, title = {Polytool: Proving Termination Automatically Based on Polynomial Interpretations.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2006.html#NguyenS06}, volume = 4407, year = 2006 }