Difference between revisions of "Bibtex:SGST06"

From Termination-Portal.org
Jump to navigationJump to search
Line 3: Line 3:
 
@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},
   TITLE    = {{Automated Termination Analysis for Logic Programs by Term Rewriting}},
+
   TITLE    = {Automated Termination Analysis for Logic Programs by Term Rewriting},
 
   BOOKTITLE = {LOPSTR~'06},
 
   BOOKTITLE = {LOPSTR~'06},
 
   YEAR      = {2007},
 
   YEAR      = {2007},
   SERIES    = lncs,
+
   SERIES    = {Lecture Note in Computer Science},
 
   VOLUME    = {4407},
 
   VOLUME    = {4407},
 
   PAGES    = {177--193},
 
   PAGES    = {177--193},

Revision as of 20:59, 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