Bibtex:Ohlebusch01

From Termination-Portal.org
Jump to: navigation, search

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
Personal tools