中国科学院机构知识库网格系统: 检索

消息 ×
	loading..

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

内容类型

发表日期

学科主题

筛选

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/13 minimal logic system F sequent calculus positive quantifier bound variable decidability
	eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 minimal logic system F sequent calculus positive quantifier bound variable decidability
	eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/13 minimal logic system F sequent calculus positive quantifier bound variable decidability