eigenvariables, bracketing and the decidability of positive minimal     predicate logic

	eigenvariables, bracketing and the decidability of positive minimal predicate logic
	Dowek Gilles; Jiang Ying
	2006
发表期刊	THEORETICAL COMPUTER SCIENCE
ISSN	0304-3975
卷号	360 期号:1-3 页码:193-208
收录类别	SCI ; EI
关键词	Minimal Logic System f Sequent Calculus Positive Quantifier Bound Variable Decidability
部门归属	Ecole Polytech, INRIA, LIX, F-91128 Palaiseau, France. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
学科领域	Computer Science ; Theory & Methods
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11484
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Dowek Gilles,Jiang Ying. eigenvariables, bracketing and the decidability of positive minimal predicate logic[J]. THEORETICAL COMPUTER SCIENCE,2006,360(1-3):193-208.
APA	Dowek Gilles,&Jiang Ying.(2006).eigenvariables, bracketing and the decidability of positive minimal predicate logic.THEORETICAL COMPUTER SCIENCE,360(1-3),193-208.
MLA	Dowek Gilles,et al."eigenvariables, bracketing and the decidability of positive minimal predicate logic".THEORETICAL COMPUTER SCIENCE 360.1-3(2006):193-208.