Sciweavers

ICLP
2004
Springer

Termination by Abstraction

14 years 5 months ago
Termination by Abstraction
Nachum Dershowitz
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICLP
Authors Nachum Dershowitz
Comments (0)