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

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