Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. An extensive index and bibliography...
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...
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...
Gierz G, Hofmann KH, Keimel K, Lawson JD, Mislove M, Scott DS (2003) Continuous Lattices and Domains. Cambridge University Press, Cambridge Book Google Scholar Guo L, Li Q (2015) The categorical equivalence between algebraic domains and F-augmented closure spaces. Order 32:101–116 Article...
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...
冷轧带钢连续退火模拟实验机的数学模型 A Novel Continuation Power Flow Model for Simulating Time-domain Dynamic Load Restoration 一种模拟负荷动态恢复特性的连续潮流模型 Quasi-hypercontinuous Domains and Quasi-hypercontinuous Lattices; 拟超连续Domain与拟超连续格...
Order structures, topology structures and algebra structures can interact with each other, which are sufficiently reflected incontinuous lattices and domains. 随着计算机科学的发展,序结构愈来愈受到人们的关注,它与拓扑结构、代数结构相互结合,充分体现在连续格与Domain理论中,有着重要的研究价值。
Quasi-bases and Weights of Quasicontinuous Domains; 拟连续Domain的拟基及其权 2. Some Topological Properties of Quasicontinuous Domains; 拟连续Domain的若干拓扑性质(英文) 3. In this paper we prove that (1) The category of distributive generalized completely lattices and the category of quasicontin...