Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| Line 12: | Line 12: | ||
ADDRESS = {Heidelberg}, | ADDRESS = {Heidelberg}, | ||
</bibtex> | </bibtex> | ||
| − | |||
[[Category:Bibtex]] | [[Category:Bibtex]] | ||
[[Category:BibtexNews]] <!-- remove this line if this is not a new publication --> | [[Category:BibtexNews]] <!-- remove this line if this is not a new publication --> | ||
| − | |||
<!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | <!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | ||
Revision as of 21:30, 29 March 2008
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
