Difference between revisions of "Bibtex:SGST06"

From Termination-Portal.org
Jump to navigationJump to search
m (L Note/s/ in CS)
Line 9: Line 9:
 
   BOOKTITLE = {LOPSTR~'06},
 
   BOOKTITLE = {LOPSTR~'06},
 
   YEAR      = {2007},
 
   YEAR      = {2007},
−
   SERIES    = {Lecture Note in Computer Science},
+
   SERIES    = {Lecture Notes in Computer Science},
 
   VOLUME    = {4407},
 
   VOLUME    = {4407},
 
   PAGES    = {177--193},
 
   PAGES    = {177--193},

Revision as of 09:04, 31 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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:SGST06&oldid=266"