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}
