Bibtex:SGST06: Difference between revisions
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 =... |
No edit summary |
||
| Line 1: | Line 1: | ||
<bibtex> | <bibtex> | ||
<!-- Please add the BibTeX data below this comment. --> | <!-- Please add the BibTeX data below this comment. --> | ||
| Line 18: | Line 17: | ||
[[Category:Bibtex]] | [[Category:Bibtex]] | ||
[[Category:News]] <!-- remove this line if this is not a new publication --> | |||
<!-- If you want to add some personal data to the reference page, you can do so after this comment. --> | <!-- If you want to add some personal data to the reference page, you can do so after this comment. --> | ||
Revision as of 17:34, 29 March 2008
<bibtex>
@inproceedings{LOPSTR06,
AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
TITLE = Template:Automated Termination Analysis for Logic Programs by Term Rewriting,
BOOKTITLE = {LOPSTR~'06},
YEAR = {2007},
SERIES = lncs,
VOLUME = {4407},
PAGES = {177--193}
}
</bibtex>