%0 Conference Paper %1 conf/tphol/CourtieuFU08 %A Courtieu, Pierre %A Forest, Julien %A Urbain, Xavier %B TPHOLs %D 2008 %E Mohamed, Otmane Aït %E Muñoz, César A. %E Tahar, Sofiène %I Springer %K dblp %P 183-198 %T Certifying a Termination Criterion Based on Graphs, without Graphs. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2008.html#CourtieuFU08 %V 5170 %@ 978-3-540-71065-3

@inproceedings{conf/tphol/CourtieuFU08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Courtieu, Pierre and Forest, Julien and Urbain, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/29115eb1a8d07db6414682b45f80e0ba0/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2008}, editor = {Mohamed, Otmane Aït and Muñoz, César A. and Tahar, Sofiène}, ee = {https://doi.org/10.1007/978-3-540-71067-7_17}, interhash = {8124249a07b57a19d3c178c58bf472a6}, intrahash = {9115eb1a8d07db6414682b45f80e0ba0}, isbn = {978-3-540-71065-3}, keywords = {dblp}, pages = {183-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Certifying a Termination Criterion Based on Graphs, without Graphs.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2008.html#CourtieuFU08}, volume = 5170, year = 2008 }