Difference between revisions of "Bibtex:Ohlebusch01"

From Termination-Portal.org
Jump to navigationJump to search
Line 12: Line 12:
 
   ADDRESS  = {Heidelberg},
 
   ADDRESS  = {Heidelberg},
 
</bibtex>
 
</bibtex>
 
 
[[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 -->
 
 
<!-- 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. -->

Revision as of 21:30, 29 March 2008

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