可数逼近偏序集相关论文
Domain理论属于理论计算机科学的重要内容之一,其目的是为程序语言的语义学奠定数学基础,是计算机科学与数学研究工作者共同感兴趣......
Domain理论属于理论计算机科学的重要内容之一，其目的是为程序语言的语义学奠定数学基础，是计算机科学与数学研宄工作者共同感兴趣的......
无论从计算机科学和纯数学方面，Domain理论研究的一个重要方面是尽可能地将连续格(Domain)理论推广到更为一般的偏序结构上去.本文......
