Difference between revisions of "Bibtex:Ohlebusch01"

From Termination-Portal.org
Jump to navigationJump to search
 
(4 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>
<!-- Please add the BibTeX data below this comment. -->
 
 
@article{Ohlebusch01,
 
@article{Ohlebusch01,
 
   AUTHOR    = {E. Ohlebusch},
 
   AUTHOR    = {E. Ohlebusch},
Line 14: Line 14:
 
   PUBLISHER = {Springer},
 
   PUBLISHER = {Springer},
 
   ADDRESS  = {Heidelberg},
 
   ADDRESS  = {Heidelberg},
</bibtex>
+
</bibtex><!-- 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. -->
 

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