Sciweavers

Share
CORR
2002
Springer

A Dynamic Approach to Characterizing Termination of General Logic Programs

8 years 8 months ago
A Dynamic Approach to Characterizing Termination of General Logic Programs
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S.
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where CORR
Authors Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
Comments (0)
books