Difference between revisions of "Bibtex:SGST06"
From Termination-Portal.org
Jump to navigationJump to search (New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @inproceedings{LOPSTR06, AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann}, TITLE =...) |
(No difference)
|
Revision as of 17:11, 29 March 2008
P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann - {Automated Termination Analysis for Logic Programs by Term Rewriting}