Continuous lattices and domains (Encyclopedia of mathematics and its applications; v. 93) G Gierz,KH Hofmann,K Keimel,... 被引量: 1974发表: 2003年 Continuous lattices and domains / G. Gierz ... F Mathematik - 《Englisch》 被引量: 460发表: 2003年 G. Gierz, K. H. Hofmann, K. Kei...
< Continuous Lattices and Domains_教程搜索 阅读原文 下载APP
L. Xu and X. Mao. When do abstract bases generate continuous lattices and L-domains. Algebra Universalis, 58(1):95-104,, 2008.Xu Luoshan, Mao Xuxin. When do abstract bases generate continuous lattices and L-domains[J]. Algebra Universalis, 2008, 58(1): 95-104....
Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds of continuous domains by means of closure spaces. By introducing an additional map into a given closure space, the ...
Continuous Lattices and Domains, Cambridge Press, Cambridge (2002) Google Scholar [4] A. Jung Cartesian Closed Categories of Domains, CWI Tract, 66, Math. Centrum, Amsterdam (1989) Google Scholar [5] J.D. Lawson, M. Mislove Problems in domain theory and topology J. Van Mill, G.M. Reed...
Continuous Lattices and Domains Cambridge Press (2003) Google Scholar [3] A. Jung Cartesian Closed Categories of Domains CWI Tracts, vol. 66 (1989) Google Scholar [4] J. Lawson Stably compact spaces Math. Struct. Comput. Sci., 21 (2014), pp. 125-169 Google Scholar [5] J. Lawson, X...
14.Quasi-hypercontinuous Domains and Quasi-hypercontinuous Lattices;拟超连续Domain与拟超连续格 15.On Some Questions of Semicontinuous Lattices and Strongly Continuous Lattices;半连续格和强连续格若干问题的研究 16.Several Necessary and Sufficient Conditions of the Demicontinuity and the Continuity of the...
V. K. Zakharov, “Functional characterization of absolute vector lattices of functions with the Baire property and quasinormal functions and modules of partial continuous functions,” Tr. Mosk. Mat. Ob.,45, 68–104 (1982). Google Scholar V. K. Zakharov, “On two classical extensions of vect...
a⊥a and b⊥b implies a⊥b. Definition 56 (Bounded involution lattice). A bounded involution lattice is a bounded involution poset that is also a lattice. A Kleene lattice (or regular lattice) is a Kleene poset that is also a lattice. Generally, bounded involution lattices and Kl...
Order structures, topology structures and algebra structures can interact with each other, which are sufficiently reflected incontinuous lattices and domains. 随着计算机科学的发展,序结构愈来愈受到人们的关注,它与拓扑结构、代数结构相互结合,充分体现在连续格与Domain理论中,有着重要的研究价值。