Complete partial order
In mathematics, directed-complete partial orders and ω-complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science, in denotational semantics and domain theory.
Wikipage redirect
primaryTopic
Complete partial order
In mathematics, directed-complete partial orders and ω-complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science, in denotational semantics and domain theory.
has abstract
In mathematics, directed-compl ...... l semantics and domain theory.
@en
Porządek zupełny – własność po ...... i od kontekstu matematycznego.
@pl
Un ordre partiel complet (comp ...... ur un langage en informatique.
@fr
在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简 ...... pos 是序理论的概念,主要应用于理论计算机科学和指称语义。
@zh
数学の特に順序理論関連分野における有向完備半順序(ゆうこうか ...... 機科学、表示的意味論、領域理論において中心的な役割を果たす。
@ja
Wikipage page ID
Wikipage revision ID
722.583.178
subject
hypernym
comment
In mathematics, directed-compl ...... l semantics and domain theory.
@en
Porządek zupełny – własność po ...... i od kontekstu matematycznego.
@pl
Un ordre partiel complet (comp ...... ur un langage en informatique.
@fr
在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简 ...... pos 是序理论的概念,主要应用于理论计算机科学和指称语义。
@zh
数学の特に順序理論関連分野における有向完備半順序(ゆうこうか ...... 機科学、表示的意味論、領域理論において中心的な役割を果たす。
@ja
label
Complete partial order
@en
Ordre partiel complet (informatique)
@fr
Porządek zupełny
@pl
完備半順序
@ja
完全偏序
@zh