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 =...)
 
Line 1: Line 1:
 
 
<bibtex>
 
<bibtex>
 
<!-- Please add the BibTeX data below this comment. -->
 
<!-- Please add the BibTeX data below this comment. -->
Line 18: Line 17:
  
 
[[Category:Bibtex]]
 
[[Category:Bibtex]]
 +
[[Category:News]]    <!-- 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 17:34, 29 March 2008

P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann - {Automated Termination Analysis for Logic Programs by Term Rewriting}

,2007
Bibtex
Author : P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann
Title : {Automated Termination Analysis for Logic Programs by Term Rewriting}
In : -
Address :
Date : 2007