logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> ACM Transactions on Computer Logic
 
 
A dynamic approach to characterizing termination of general logic programs
 
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang
 
Journal Title: ACM Transactions on Computer Logic
Date: 2003
Volume: 4
Issue: 4
p. 417 - 430
 
 
 
We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:
http://lanl.arxiv.org/pdf/cs.LO/0204031
For further information about this item go to:
http://doi.acm.org/10.1145/937556
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12