Bibtex:Ohlebusch01

From Termination-Portal.org

Revision as of 11:36, 30 March 2008 by C-Otto (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

BibTex

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

, Heidelberg,2001

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=211"

Navigation menu