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