Institutional Repository
| enhancing global sls-resolution with loop cutting and tabling mechanisms | |
| Shen Yidong; Jia-Huai You; Li-Yan Yuan | |
| 2004 | |
| Source | Theoretical Computer Science
 |
| Volume | 328Issue:3Pages:271-287 |
| Indexed Type | sciencedirect |
| Department | 计算机科学国家重点实验室 |
| WOS ID | WOS:000225614400003 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4546 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Shen Yidong,Jia-Huai You,Li-Yan Yuan. enhancing global sls-resolution with loop cutting and tabling mechanisms[J]. Theoretical Computer Science,2004,328(3):271-287. |
| APA | Shen Yidong,Jia-Huai You,&Li-Yan Yuan.(2004).enhancing global sls-resolution with loop cutting and tabling mechanisms.Theoretical Computer Science,328(3),271-287. |
| MLA | Shen Yidong,et al."enhancing global sls-resolution with loop cutting and tabling mechanisms".Theoretical Computer Science 328.3(2004):271-287. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 1.pdf（194KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment