Difference between revisions of "Bibtex:Ohlebusch01"

From Termination-Portal.org
Jump to navigationJump to search
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 ==
 
<bibtex>
 
<bibtex>

Revision as of 14:29, 30 March 2008

BibTex

E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited

, Heidelberg,2001
Bibtex
Author : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : -
Address : Heidelberg
Date : 2001