Funder
National Natural Science Foundation of China
Shandong Provincial Natural Science Foundation
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference12 articles.
1. A universal mapping property for a lattice completion;Bishop;Algebra Univers.,1976
2. Ideal completion and stone representation of ideal-distributive ordered sets;David;Topol. Appl.,1992
3. Uniform ideal completions;Erné;Math. Slovaca,1998
4. Ideals in partially ordered sets;Frink;Am. Math. Mon.,1954
5. Continuous Lattices and Domains;Gierz,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献