位置：成果数据库 > 期刊 > 期刊详情页
Domains via Graphs
  • 期刊名称：Journal of Computer Science an
  • 时间：0
  • 页码：2001，16（6），505-521
  • 语言：英文
  • 相关项目：形式语义学中的序结构和逻辑结构
作者： Zhang ,G-Q 陈仪香|
同期刊论文项目
形式语义学中的序结构和逻辑结构
期刊论文 8 著作 1
同项目期刊论文
Fuzzy Membership and Topological System
谓词转换器的相容性
一类基于有界算子合成的模糊系统方程
拓扑学在Domain理论中的应用
区间值模糊命题逻辑系统的广义恒真式
一类论域函数的全性与极大性
参数Kleene系统中的广义重言式