Institutional Repository
| eigenvariables, bracketing and the decidability of positive minimal predicate logic | |
| Dowek Gilles; Jiang Ying | |
| 2006 | |
| Source | THEORETICAL COMPUTER SCIENCE
 |
| ISSN | 0304-3975 |
| Volume | 360Issue:1-3Pages:193-208 |
| Indexed Type | SCI ; EI |
| Keyword | Minimal Logic System f Sequent Calculus Positive Quantifier Bound Variable Decidability |
| Department | Ecole Polytech, INRIA, LIX, F-91128 Palaiseau, France. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. |
| Subject | Computer Science ; Theory & Methods |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11484 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| dowekjiangtcs.pdf（165KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment