位置：成果数据库 > 期刊 > 期刊详情页
Consistency and Axiomatization of a Natural ELG
  • 期刊名称：China Science A
  • 时间：0
  • 页码：1996,Vol.39.9
  • 语言：英文
  • 相关项目：软件的逻辑及相关技术研究
作者： 蒋颖|
同期刊论文项目
软件的逻辑及相关技术研究
期刊论文 6
同项目期刊论文
Consistency of a λ-teory with n-tuples and easy term
Universal Retractions on DI-Domains
Isomorphisms between the Coheret Models of the Lambda -Calculus
无穷发散项及易项
结构多项式复杂性研究中使用的一些方法