ehrenfeucht-fraisse games in finite set theory

ISCAS OpenIR

	ehrenfeucht-fraisse games in finite set theory
	Zhou Xiang
	2008
发表期刊	INFORMATION PROCESSING LETTERS
ISSN	0020-0190
卷号	108 期号:1 页码:3-9
收录类别	sci,ei,acm,sciencedirect
关键词	Specification Languages Arithmetic Predicates Finite Set Theory Fragments Of First Order Logic Inexpressibility Ehrenfeucht-fraisse Games
部门归属	Zhou, Xiang Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100190, Peoples R China. Zhou, Xiang Chinese Acad Sci, Grad Sch, Beijing 100049, Peoples R China.
学科领域	Computer Science, Information Systems
语种	英语
WOS记录号	WOS:000259133900002
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10233
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhou Xiang. ehrenfeucht-fraisse games in finite set theory[J]. INFORMATION PROCESSING LETTERS,2008,108(1):3-9.
APA	Zhou Xiang.(2008).ehrenfeucht-fraisse games in finite set theory.INFORMATION PROCESSING LETTERS,108(1),3-9.
MLA	Zhou Xiang."ehrenfeucht-fraisse games in finite set theory".INFORMATION PROCESSING LETTERS 108.1(2008):3-9.