蒋颖
【姓名】 蒋颖
【职称】 研究员;
【研究领域】 数学;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 易项,砂矿,口置,无穷,引理,软件研究所,意指,λ-theory,an extensional combinatory logic,consistency,范式,anything,Lambda,Syn...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 2 5 2 3 196
中国期刊全文数据库    共找到5篇
[1]高建华;蒋颖;.基于余归纳的最小Kripke结构的求解[J]软件学报.2014,(01)
[2]王驹,赵希顺,黄且圆,蒋颖.Consistency argument and classification problem in λ-calculus[J]Science in China(Series E:Technological Sciences).1999,(05)
[3]赵希顺,蒋颖,王驹.无穷发散项与易项[J]科学通报.1995,(19)
[4]蒋颖.Isomorphisms between the coherent models of the lambda-calculus[J]Science in China,Ser.A.1996,(08)
[5]蒋颖.Consistency and axiomatization of a natural extensional combinatory logic[J]Science in China,Ser.A.1996,(09)
更多
承担国家科研项目    共找到3个
[1]蒋颖;.程序正确性验证与树自动机[A].中国科学院软件研究所;.项目经费 26万元.2006-03-27.资助文献数 0 篇
[2]蒋颖;.包封法及推理系统的可判定性[A].中国科学院软件研究所;.项目经费 22万元.2003-03-31.资助文献数 0 篇
[3]蒋颖;.扩展语义数据类型[A].中国科学院软件研究所;.项目经费 10万元.1999-03-31.资助文献数 0 篇
更多