%0 Conference Paper %1 conf/rta/FuhsGPSF09 %A Fuhs, Carsten %A Giesl, Jürgen %A Plücker, Martin %A Schneider-Kamp, Peter %A Falke, Stephan %B RTA %D 2009 %E Treinen, Ralf %I Springer %K %P 32-47 %T Proving Termination of Integer Term Rewriting. %U http://dblp.uni-trier.de/db/conf/rta/rta2009.html#FuhsGPSF09 %V 5595 %@ 978-3-642-02347-7

@inproceedings{conf/rta/FuhsGPSF09, added-at = {2014-05-21T16:07:59.000+0200}, author = {Fuhs, Carsten and Giesl, Jürgen and Plücker, Martin and Schneider-Kamp, Peter and Falke, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/248b3291d49fe24a953bdaafad78df2c5/jil}, booktitle = {RTA}, crossref = {conf/rta/2009}, editor = {Treinen, Ralf}, ee = {http://dx.doi.org/10.1007/978-3-642-02348-4_3}, interhash = {d5a58e5180baef8d08614daed2984b8d}, intrahash = {48b3291d49fe24a953bdaafad78df2c5}, isbn = {978-3-642-02347-7}, keywords = {}, pages = {32-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-05-21T16:07:59.000+0200}, title = {Proving Termination of Integer Term Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2009.html#FuhsGPSF09}, volume = 5595, year = 2009 }