Institutional Repository
| termination prediction for general logic programs | |
| Shen Yi-Dong; De Schreye Danny; Voets Dean | |
| 2009 | |
| Source | THEORY AND PRACTICE OF LOGIC PROGRAMMING
 |
| ISSN | 1471-0684 |
| Volume | 9Issue:6Pages:751-780 |
| Keyword | Logic Programming Termination Analysis Loop Checking Moded Queries Termination Prediction |
| Department | Shen, Yi-Dong Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. De Schreye, Danny; Voets, Dean Katholieke Univ Leuven, Dept Comp Sci, B-3001 Heverlee, Belgium. |
| Subject | Computer Science ; Theory & Methods ; Software Engineering ; Computer Science |
| WOS ID | WOS:000271985400002 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7922 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Shen Yi-Dong,De Schreye Danny,Voets Dean. termination prediction for general logic programs[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING,2009,9(6):751-780. |
| APA | Shen Yi-Dong,De Schreye Danny,&Voets Dean.(2009).termination prediction for general logic programs.THEORY AND PRACTICE OF LOGIC PROGRAMMING,9(6),751-780. |
| MLA | Shen Yi-Dong,et al."termination prediction for general logic programs".THEORY AND PRACTICE OF LOGIC PROGRAMMING 9.6(2009):751-780. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment