dI-domain 相关硕士博士期刊学术论文 - 搜论网

dI-domain相关论文

事件结构与Domain

研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质(ζ)的代数L-domain.特别地......

期刊

事件结构性质(ζ)L-domain DI-domain

谓词转换器的拓扑语义

本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半......

期刊

谓词转换器半拓扑空间程序设计 D-半拓扑稳定映射 SM-半拓扑空间不确定程序 dI-domain 拓扑语义 stabel functions semi

看过本文同时还关注