位置：成果数据库 > 期刊 > 期刊详情页
关于D.W.Etherington的扩充产生算法的一个注记
  • 期刊名称：计算机工程与科学
  • 时间：0
  • 页码：1998，20（4），37-41，60
  • 语言：中文
  • 相关项目：若干典型的非单调逻辑的比较研究
作者： 苏开乐|
关于苏开乐：

认识逻辑及其在安全协议设计、验证中的应用
期刊论文 14 会议论文 5
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
若干典型的非单调逻辑的比较研究
期刊论文 7
同期刊论文项目
若干典型的非单调逻辑的比较研究
期刊论文 7
同项目期刊论文
一个二阶的Context逻辑
关于主体的逻辑推理性质的逻辑
A three-valued quantificational Logic of Context
开放逻辑中基于一优先序的R-重构
分层次背景逻辑
Computation of extensions of seminormal default theories