Difference between revisions of "Bibtex:SGST06"
From Termination-Portal.org
Jump to navigationJump to search| Line 15: | Line 15: | ||
ADDRESS = {Heidelberg} | ADDRESS = {Heidelberg} | ||
} | } | ||
| − | </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:37, 30 March 2008
BibTex
P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann - Automated Termination Analysis for Logic Programs by Term Rewriting
