Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| (3 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | [[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 --> |
== 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
