Found 16 Documents (Results 1–16)
New representations of algebraic domains and algebraic L-domains via closure systems. (English) Zbl 1508.06004
A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis. (English) Zbl 1468.68222
MSC:
68T30
A characterization theorem for continuous lattices by closure spaces. (English) Zbl 1535.06013
Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 324-331 (2019).
MSC:
06B35
Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains. (English) Zbl 1398.68515
Rough approximations via ideal on a complete completely distributive lattice. (English) Zbl 1370.68272
The categorical equivalence between algebraic domains and F-augmented closure spaces. (English) Zbl 1337.06003
Formal contexts for algebraic domains. (English) Zbl 1337.68245
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 79-90, electronic only (2014).
A note on finitely derived information systems. (English) Zbl 1337.68161
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 49-59, electronic only (2014).
Filter Results by …
Document Type
- Journal Articles (13)
- Collection Articles (3)
all
top 5
Author
- Guo, Lankun (16)
- Li, Qingguo (15)
- Huang, Mengqiao (2)
- Valtchev, Petko (2)
- Wu, Mingyuan (2)
- Godin, Robert (1)
- Han, Hongxia (1)
- Jia, Xiaodong (1)
- Lin, Yaping (1)
- Ma, Guozhi (1)
- Sun, Tao (1)
- Wang, Longchun (1)
- Yang, Cheng (1)
- Yao, Lingjuan (1)
- Zhang, Guo-Qiang (1)
- Zou, Zhiwei (1)
all
top 5
Serial
- Int. J. Approx. Reasoning (2)
- Soft Comput. (2)
- Discrete Appl. Math. (1)
- Inf. Sci. (1)
- Semigroup Forum (1)
- Theor. Comput. Sci. (1)
- Topology Appl. (1)
- Order (1)
- Math. Struct. Comput. Sci. (1)
- Fundam. Inform. (1)
- Categ. Gen. Algebr. Struct. Appl. (1)