Sciweavers

PPDP
2001
Springer

Termination of Well-Typed Logic Programs

14 years 3 months ago
Termination of Well-Typed Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where PPDP
Authors Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
Comments (0)