Institutional Repository
| ehrenfeucht-fraisse games in finite set theory | |
| Zhou Xiang | |
| 2008 | |
| Source | INFORMATION PROCESSING LETTERS
 |
| ISSN | 0020-0190 |
| Volume | 108Issue:1Pages:3-9 |
| Indexed Type | sci,ei,acm,sciencedirect |
| Keyword | Specification Languages Arithmetic Predicates Finite Set Theory Fragments Of First Order Logic Inexpressibility Ehrenfeucht-fraisse Games |
| Department | 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. |
| Subject | Computer Science, Information Systems |
| Language | 英语 |
| WOS ID | WOS:000259133900002 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10233 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| ehrenfeucht-fraisse （149KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment