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> | ||
| − | |||
| − | |||
| − | |||
@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
P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann - Automated Termination Analysis for Logic Programs by Term Rewriting
