Difference between revisions of "Bibtex:Ohlebusch01"

From Termination-Portal.org
Jump to navigationJump to search
 
(2 intermediate revisions by the same user not shown)
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>
<!-- Please add the BibTeX data below this comment. -->
 
 
@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
Bibtex
Author : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : Applicable Algebra in Engineering, Communication and Computation -
Address : Heidelberg
Date : 2001