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