稳定模糊谓词相关论文
引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序......
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义，在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转......
