Sciweavers

TOCL
2008

Reasoning with recursive loops under the PLP framework

13 years 11 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)