Difference between revisions of "Bibtex:SGST06"
From Termination-Portal.org
Jump to navigationJump to search| Line 1: | Line 1: | ||
| + | [[Category:Bibtex]] | ||
| + | [[Category:BibtexNews]] <!-- remove this line if this is not a new publication --> | ||
| + | == BibTex == | ||
<bibtex> | <bibtex> | ||
<!-- Please add the BibTeX data below this comment. --> | <!-- Please add the BibTeX data below this comment. --> | ||
| Line 14: | Line 17: | ||
</bibtex> | </bibtex> | ||
| − | |||
| − | |||
<!-- 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 11:36, 30 March 2008
BibTex
P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann - Automated Termination Analysis for Logic Programs by Term Rewriting
