Complete partial order
... partial order 部分有序 complete partial order 完全偏序 Partial Order Reduction 偏序规约技术 ; 技术 ...
基于2458个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。
详细内容
应用推荐
模块上移
模块下移
不移动