Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| 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> | ||
| − | |||
@article{Ohlebusch01, | @article{Ohlebusch01, | ||
AUTHOR = {E. Ohlebusch}, | AUTHOR = {E. Ohlebusch}, | ||
Latest revision as of 18:43, 31 March 2008
BibTex
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
- Applicable Algebra in Engineering, Communication and Computation 12(1--2):73--116, Heidelberg,2001
- BibtexAuthor : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : Applicable Algebra in Engineering, Communication and Computation -
Address : Heidelberg
Date : 2001
