Sciweavers

TOCL
2008

Reasoning with recursive loops under the PLP framework

14 years 8 months ago
Reasoning with recursive loops under the PLP framework
Yi-Dong Shen
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOCL
Authors Yi-Dong Shen
Comments (0)