%0 Conference Paper %1 conf/cade/GieslMRTW15 %A Giesl, Jürgen %A Mesnard, Frédéric %A Rubio, Albert %A Thiemann, René %A Waldmann, Johannes %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K %P 105-108 %T Termination Competition (termCOMP 2015). %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#GieslMRTW15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/GieslMRTW15, added-at = {2023-12-14T16:13:53.000+0100}, author = {Giesl, Jürgen and Mesnard, Frédéric and Rubio, Albert and Thiemann, René and Waldmann, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/2b4ff41cc0d38c84fb9875185322f8d9f/admin}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_6}, interhash = {f52f68111abaf22f7a6f42560146cacc}, intrahash = {b4ff41cc0d38c84fb9875185322f8d9f}, isbn = {978-3-319-21400-9}, keywords = {}, pages = {105-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:13:53.000+0100}, title = {Termination Competition (termCOMP 2015).}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#GieslMRTW15}, volume = 9195, year = 2015 }