Sciweavers

LOPSTR
1997
Springer

Preserving Termination of Tabled Logic Programs While Unfolding

14 years 3 months ago
Preserving Termination of Tabled Logic Programs While Unfolding
Michael Leuschel, Bern Martens, Konstantinos F. Sa
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where LOPSTR
Authors Michael Leuschel, Bern Martens, Konstantinos F. Sagonas
Comments (0)