Continuous lattices and domains (Encyclopedia of mathematics and its applications; v. 93) G Gierz,KH Hofmann,K Keimel,... 被引量: 1973发表: 2003年 Continuous lattices and domains / G. Gierz ... F Mathematik - 《Englisch》 被引量: 460发表: 2003年 G. Gierz, K. H. Hofmann, K. Kei...
Continuous lattices and domains (Encyclopedia of mathematics and its applications; v. 93) G Gierz,KH Hofmann,K Keimel,... 被引量: 1973发表: 2003年 Continuous lattices and domains / G. Gierz ... F Mathematik - 《Englisch》 被引量: 460发表: 2003年 G. Gierz, K. H. Hofmann, K. Kei...
< Continuous Lattices and Domains_教程搜索 阅读原文 下载APP
Common Patterns for Metric and Ordered Fixed Point Theorems. [12], this statement has a fully constructive proof, formalizable in higher-order intuitionistic logic (in 2003 it found an entry to the compendium on continuous lattices and domains [7], where it is presented as a set of ... Pa...
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....
2. Order structures, topology structures and algebra structures can interact with each other, which are sufficiently reflected in continuous lattices and domains. 随着计算机科学的发展,序结构愈来愈受到人们的关注,它与拓扑结构、代数结构相互结合,充分体现在连续格与Domain理论中,有着重要的研究价值。
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 ...
the category whose objects are bicontinuous lattices and whose morphisms are dual scott continuous maps. 证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶Sc...
Continuous Lattices and Domains: Topological Algebra and Lattice Theory: Applications I generalize the topological structure of the concrete forms of mathematical morphology to the lattice-algebraical framework using the theory of continuous... G Gierz,KH Hofmann,K Keimel,... 被引量: 1516发表: 2003...
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...