Sciweavers

CATS
2007

Termination of Abstract Reduction Systems

14 years 27 days ago
Termination of Abstract Reduction Systems
Jeremy E. Dawson, Rajeev Goré
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where CATS
Authors Jeremy E. Dawson, Rajeev Goré
Comments (0)