Institutional Repository
| termination prediction for general logic programs | |
| Shen Yi-Dong; De Schreye Danny; Voets Dean | |
| 2009 | |
| 发表期刊 | THEORY AND PRACTICE OF LOGIC PROGRAMMING
![]() |
| ISSN | 1471-0684 |
| 卷号 | 9期号:6页码:751-780 |
| 关键词 | Logic Programming Termination Analysis Loop Checking Moded Queries Termination Prediction |
| 部门归属 | 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. |
| 学科领域 | Computer Science ; Theory & Methods ; Software Engineering ; Computer Science |
| WOS记录号 | WOS:000271985400002 |
| 引用统计 | |
| 内容类型 | 期刊论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/7922 |
| 专题 | 基础软件与系统重点实验室 |
| 推荐引用方式 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论