default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ISDT 2022: Singapore
- Weng Kin Ho, Dongsheng Zhao, Achim Jung, Guo-Qiang Zhang, Guo-Qiang Zhang:
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022. Electronic Notes in Theoretical Informatics and Computer Science 2, EpiSciences 2022 - Xiangping Chu, Qingguo Li:
The d*-space. - Jean Goubault-Larrecq, Xiaodong Jia:
Continuous R-valuations. - Zhaorong He, Zhongqiang Yang, Dongsheng Zhao:
Quasiexact posets and the moderate meet-continuity. - Huijun Hou, Qingguo Li:
Weakly meet sZ-continuity and δZ-continuity. - Mengjie Jin, Qingguo Li:
On k-ranks of topological spaces. - Min Liu, Yulin Li:
Quantaloidal Completions of Order-enriched Categories and Their Applications. - Zhenchao Lyu, Xiaolin Xie, Hui Kou:
A note on the category of c-spaces. - Hualin Miao, Qingguo Li, Dongsheng Zhao:
One-step closure, weak one-step closure and meet continuity. - Xiaojun Ruan, Xiaoquan Xu:
SI2-quasicontinuous spaces. - Anneliese Schauerte, John Frith:
Partial frames, their free frames and their congruence frames. - Chong Shen, Xiaoyong Xi, Dongsheng Zhao:
Further studies on open well-filtered spaces. - Yinglong Song, Jinbo Yang:
Strongly Continuous Domains. - Guojun Wu, Luoshan Xu:
Representations of Domains via CF-approximation Spaces. - Liping Zhang, Xiangnan Zhou, Qingguo Li:
A Hofmann-Mislove theorem for c-well-filtered spaces. - Huarong Zhang, Dongsheng Zhao:
The sheaf representation of residuated lattices.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-17 00:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
