symbolic decision procedure for termination of linear programs

	symbolic decision procedure for termination of linear programs
	Xia Bican ; Yang Lu ; Zhan Naijun ; Zhang Zhihai
	2011
会议名称	symbolic decision procedure for termination of linear programs
会议日期	2011
会议地点	北京
关键词	Computer science Manganese compounds
页码	171-190
收录类别	EI
会议录	Formal Aspects of Computing
会议录出版地	United Kingdom
ISSN号	9345043
WOS记录号	WOS:000288029200003
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/14217]
专题	软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式 GB/T 7714	Xia Bican,Yang Lu,Zhan Naijun,et al. symbolic decision procedure for termination of linear programs[C]. 见:symbolic decision procedure for termination of linear programs. 北京. 2011.