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 |
||
| (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> | ||
@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 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> | |||
<!-- 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
<bibtex> @inproceedings{LOPSTR06,
AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
TITLE = {Automated Termination Analysis for Logic Programs by Term Rewriting},
BOOKTITLE = {LOPSTR~'06},
YEAR = {2007},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {4407},
PAGES = {177--193},
PUBLISHER = {Springer},
ADDRESS = {Heidelberg}
} </bibtex>