Difference between revisions of "Bibtex:SGST06"
From Termination-Portal.org
Jump to navigationJump to searchm (L Note/s/ in CS) |
|||
| Line 2: | Line 2: | ||
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> | [[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> | ||
== BibTex == | == 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}, | ||
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
