拟半连续格相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,属于格论、拓扑学、范畴论及理论计算机科学的交叉领域,所以受到众多......
本文拓展了半连续格理论的框架,引入了拟半连续格和拟半代数格等概念,讨论了它们的一些基本性质; 给出了强代数格和强算术格的拓扑......
作为半连续格的推广,引入了拟半连续格和拟半代数格的概念,讨论了它们的一些基本性质.......
作为半连续格的推广,引入了拟半连续格的概念。讨论了拟半连续格的基本性质。在拟半连续格上得到了类似于拟连续偏序集的一些主要结......