Difference between revisions of "Bibtex:SGST06"

From Termination-Portal.org
Jump to navigationJump to search
Line 1: Line 1:
 
<bibtex>
 
<bibtex>
 
<!-- Please add the BibTeX data below this comment. -->
 
<!-- Please add the BibTeX data below this comment. -->
 
 
 
@inproceedings{LOPSTR06,
 
@inproceedings{LOPSTR06,
 
   AUTHOR    = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
 
   AUTHOR    = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
Line 10: Line 8:
 
   SERIES    = lncs,
 
   SERIES    = lncs,
 
   VOLUME    = {4407},
 
   VOLUME    = {4407},
   PAGES    = {177--193}
+
   PAGES    = {177--193},
 +
  PUBLISHER = {Springer},
 +
  ADDRESS  = {Heidelberg}
 
}
 
}
 
 
 
</bibtex>
 
</bibtex>
  

Revision as of 20:55, 29 March 2008

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