%0 Conference Paper %1 conf/cade/ThiemannGS04 %A Thiemann, René %A Giesl, Jürgen %A Schneider-Kamp, Peter %B IJCAR %D 2004 %E Basin, David A. %E Rusinowitch, Michaël %I Springer %K %P 75-90 %T Improved Modular Termination Proofs Using Dependency Pairs. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#ThiemannGS04 %V 3097 %@ 3-540-22345-2

@inproceedings{conf/cade/ThiemannGS04, added-at = {2023-12-12T23:47:33.000+0100}, author = {Thiemann, René and Giesl, Jürgen and Schneider-Kamp, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2145c71a563372cb94fb91cc3e875dc85/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2004}, editor = {Basin, David A. and Rusinowitch, Michaël}, ee = {https://doi.org/10.1007/978-3-540-25984-8_4}, interhash = {5a5267f4b74cb568acedea774cb2de9f}, intrahash = {145c71a563372cb94fb91cc3e875dc85}, isbn = {3-540-22345-2}, keywords = {}, pages = {75-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:47:33.000+0100}, title = {Improved Modular Termination Proofs Using Dependency Pairs.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#ThiemannGS04}, volume = 3097, year = 2004 }