Difference between revisions of "Bibtex:SGST06"
From Termination-Portal.org
Jump to navigationJump to searchLine 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 = | + | TITLE = {Automated Termination Analysis for Logic Programs by Term Rewriting}, |
BOOKTITLE = {LOPSTR~'06}, | BOOKTITLE = {LOPSTR~'06}, | ||
YEAR = {2007}, | YEAR = {2007}, | ||
− | SERIES = | + | 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