termination prediction for general logic programs

	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.