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 =...)
 
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 
+
[[Category:Bibtex| ]]
 +
[[Category:BibtexNews| ]]    <!-- remove this line if this is not a new publication -->
 +
== BibTex ==
 +
<!-- Please add the BibTeX data below this comment. -->
 
<bibtex>
 
<bibtex>
<!-- 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},
   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 Notes in Computer Science},
 
   VOLUME    = {4407},
 
   VOLUME    = {4407},
   PAGES    = {177--193}
+
   PAGES    = {177--193},
 +
  PUBLISHER = {Springer},
 +
  ADDRESS  = {Heidelberg}
 
}
 
}
 
+
</bibtex><!-- If you want to add some personal data to the reference page, you can do so after this comment. -->
 
 
</bibtex>
 
 
 
[[Category:Bibtex]]
 
 
 
<!-- If you want to add some personal data to the reference page, you can do so after this comment. -->
 

Latest revision as of 18:44, 31 March 2008

BibTex

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

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