Sciweavers

TOCL
2008
75views more  TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

15 years 7 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)