王驹
【姓名】 王驹
【职称】 研究员;
【研究领域】 数学;计算机软件及计算机应用;电信技术;
【研究方向】
【发表文献关键词】 unity逻辑,程序性质,一致极小对,易项,有穷基,最小板块,unless,分配簇,代数语义,代数性质,事实集,无穷,相空间,线性逻辑,防抵赖,语义,可追踪,同余类,信息安全,注册,付费,λβ演算,K...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;中国国家智能计算机研究开发中心;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/15 12 11 4 96 1107
中国期刊全文数据库    共找到15篇
[1]陈文彬;王驹;.Horn逻辑程序和形式文法之间的对应关系[J]计算机科学.2003,(10)
[2]陈庆锋,白硕,王驹,张师超,隋立颖.SET协议中问题的分析及解决方案[J]计算机学报.2000,(02)
[3]陈庆锋,白硕,王驹,张师超,隋立颖.电子商务安全协议及其非单调动态逻辑验证[J]软件学报.2000,(02)
[4]陈庆锋,王驹,白硕,张师超,隋立颖.电子商务安全协议的逻辑验证[J]软件学报.2000,(03)
[5]邓培民,王驹.Morita Context的右正规性[J]数学进展.2001,(03)
[6]王驹,赵希顺,黄且圆,蒋颖.Consistency argument and classification problem in λ-calculus[J]Science in China(Series E:Technological Sciences).1999,(05)
[7]黄且圆,王驹.unless和ensure的代数性质——Ⅱ.unity的代数语义研究[J]中国科学(A辑 数学 物理学 天文学 技术科学).1994,(11)
[8]李未,王驹.力迫演算在开放逻辑系统中的嵌入[J]科学通报.1994,(20)
[9]赵希顺,蒋颖,王驹.无穷发散项与易项[J]科学通报.1995,(19)
[10]王驹.一致极小对、一致有界性及有穷基定理[J]数学进展.1995,(04)
更多