1) free Dcpo
自由Dcpo
1.
Structures and properties of free Dcpo and free join-complete lattices;
自由Dcpo和自由并完备格的结构和性质
2) continuous dcpo
连续dcpo
1.
Compactness of lawson topology in continuous dcpo;
连续dcpo上lawson拓扑的紧性
3) local directed complete posets
局部dcpo
1.
In this paper,the properties of meet-continuity in local directed complete posets(DCPO) and consistent directed complete posets are revisited and some relevant conclusions are enriched and developed,basing on the concepts of meet-continuity in local directed complete posets and consistent directed complete posets.
在局部dcpo和相容dcpo的交连续性的概念的基础上,对局部dopo和相容dcpo的交连续性作了进一步的探讨,丰富并扩展了有关性质和结论。
4) FS-local directed complete poset
FS-局部dcpo
1.
We introduce the concepts of algebraic local complete poset,FS-local directed complete poset and local stable funtion.
本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念。
5) strongly algebraic dcpo
强代数dcpo
1.
By a purely topological method the characterizations over algebraic lattice,strongly algebraic dcpo and strongly algebraic lattice are discussed.
利用拓扑学理论讨论了代数格,强代数dcpo以及强代数格上的Scott拓扑,得出了一个拓扑若是超-coherent的当且仅当它与某个强代数dcpo上的Scott拓扑一致,其超紧基在交运算下非空且封闭当且仅当它是某个代数格上的Scott拓扑。
6) Random route
自由路由
补充资料：必然王国与自由王国(见必然与自由)
必然王国与自由王国(见必然与自由)
realm of necessity and realm of freedom
of口1 Iun Wongg口0 yU ZlyQU wangguo必然王国与自由王国(realmandrealm of freedom)necessity见必然与自由。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条