Bibtex:Ohlebusch01

From Termination-Portal.org
Revision as of 21:10, 29 March 2008 by Nowonder (talk | contribs) (New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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


Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:Ohlebusch01&oldid=203"