Sciweavers

TOCL
2008

Inferring non-suspension conditions for logic programs with dynamic scheduling

13 years 11 months ago
Inferring non-suspension conditions for logic programs with dynamic scheduling
Samir Genaim, Andy King
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOCL
Authors Samir Genaim, Andy King
Comments (0)