L-Domain相关论文
本文对格和双domain范畴上的区间构造,以及代数L-domain上的函数空间进行了讨论。 首先,在格上利用区间构造及定义的信息序得到了......
作者给出了L-Domain的两个刻划定理。...
作者给出了L-Domain的两个刻划定理。...
讨论了C-双有限domain的SM性质,并证明:(i)所有 C-双有限 domain 具有 SM性质;(ii)连续L-domain D是C-双有限domain 当且仅当D具有SM性质......
在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-......
在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-......
利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间.证明了如果L1和L2都是代数的L—domain,则函数空间[......
利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间.证明了如果L1和L2都是代数的L—domain,则函数空间[......
...
本文证明了在L-domain条件下,连续B-domain与FS-domain等价,并由此得到了连续B-domain的一个刻划定理。......
20世纪70年代,图灵奖获得者Dana Scott提出了Domain理论,它在计算机程序设计语言中有重要作用。在纯数学领域,Lawson,Stralka等人......
Domain理论,作为序理论的一个分支,被广泛地应用于数学,逻辑,计算机科学等各个领域。在Domain理论中,一个最基本的概念是way below......
在Domain理论中,函数空间的研究是重要而基本的。Achim Jung证明了若D,E是有最小元并且具有性质m的DCPO,那么[D→E]连续蕴涵D是Lawson......