Difference between revisions of "Bibtex:SGST06"
From Termination-Portal.org
Jump to navigationJump to searchLine 17: | Line 17: | ||
[[Category:Bibtex]] | [[Category:Bibtex]] | ||
− | [[Category: | + | [[Category:BibtexNews]] <!-- remove this line if this is not a new publication --> |
<!-- If you want to add some personal data to the reference page, you can do so after this comment. --> | <!-- If you want to add some personal data to the reference page, you can do so after this comment. --> |
Revision as of 18:24, 29 March 2008
P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann - {Automated Termination Analysis for Logic Programs by Term Rewriting}