子集系统相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这......
本文将exact偏序集推广至了一般子集系统Z，引入了Z—极小集、Z—exact偏序集、拟Z—exact偏序集、Z—交exact偏序集和拟Z—代数exac......
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等......
Domam理论诞生于20世纪70年代Scott为解决计算机程序设计语言语义学问题的研究.几乎在同一时期,Lawson、Stralka等人为寻求一类紧......
在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了：对一类子集系统,一个FZ-Domain的FZ-定向基的定......
