代数可数逼近偏序集相关论文
Domain理论属于理论计算机科学的重要内容之一,其目的是为程序语言的语义学奠定数学基础,是计算机科学与数学研究工作者共同感兴趣......
可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有......