Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search (New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ...) |
(No difference)
|
Revision as of 21:10, 29 March 2008
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
- , Heidelberg,2001
- BibtexAuthor : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : -
Address : Heidelberg
Date : 2001