Sciweavers

RTA
1998
Springer

Termination Transformation by Tree Lifting Ordering

14 years 4 months ago
Termination Transformation by Tree Lifting Ordering
Takahito Aoto, Yoshihito Toyama
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where RTA
Authors Takahito Aoto, Yoshihito Toyama
Comments (0)