Login / Signup
ISDT
2009
2013
2017
2022
2009
2022
Keyphrases
Publications
2022
Mengjie Jin
,
Qingguo Li
-ranks of topological spaces.
ISDT
(2022)
Zhaorong He
,
Zhongqiang Yang
,
Dongsheng Zhao
Quasiexact posets and the moderate meet-continuity.
ISDT
(2022)
Xiaojun Ruan
,
Xiaoquan Xu
-quasicontinuous spaces.
ISDT
(2022)
Yinglong Song
,
Jinbo Yang
Strongly Continuous Domains.
ISDT
(2022)
Xiangping Chu
,
Qingguo Li
-space.
ISDT
(2022)
Huijun Hou
,
Qingguo Li
-continuity.
ISDT
(2022)
Liping Zhang
,
Xiangnan Zhou
,
Qingguo Li
-well-filtered spaces.
ISDT
(2022)
Chong Shen
,
Xiaoyong Xi
,
Dongsheng Zhao
Further studies on open well-filtered spaces.
ISDT
(2022)
Anneliese Schauerte
,
John Frith
Partial frames, their free frames and their congruence frames.
ISDT
(2022)
Huarong Zhang
,
Dongsheng Zhao
The sheaf representation of residuated lattices.
ISDT
(2022)
Hualin Miao
,
Qingguo Li
,
Dongsheng Zhao
One-step closure, weak one-step closure and meet continuity.
ISDT
(2022)
Min Liu
,
Yulin Li
Quantaloidal Completions of Order-enriched Categories and Their Applications.
ISDT
(2022)
volume 2, 2022
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022
ISDT
2 (2022)
2019
Shu-Zhen Luo
,
Xiaoquan Xu
-continuous Spaces.
ISDT
(2019)
Matthew de Brecht
,
Jean Goubault-Larrecq
,
Xiaodong Jia
,
Zhenchao Lyu
Domain-complete and LCS-complete Spaces.
ISDT
(2019)
Lingjuan Yao
,
Qingguo Li
Representation of FS-domains Based on Closure Spaces.
ISDT
(2019)
Kok Min Ng
,
Weng Kin Ho
Quasi-continuous Yoneda Complete Quasi-Metric Space.
ISDT
(2019)
Chunhui Liu
Uniform Topological Spaces Based on BF-ideals in Negative Non-involutive Residuated Lattices.
ISDT
(2019)
Wenfeng Zhang
,
Wenfeng Li
,
Xiaoquan Xu
-Quasialgebraic Posets.
ISDT
(2019)
Hui Li
,
Xiangnan Zhou
,
Qingguo Li
Topological Semigroups.
ISDT
(2019)
Shuhua Su
,
Qi Li
Lattices of Irreducibly-derived Closed Sets.
ISDT
(2019)
Zhenchao Lyu
,
Hui Kou
A Cartesian Closed Category of Domains with Almost Algebraic Bases.
ISDT
(2019)
Luoshan Xu
,
Dongsheng Zhao
-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness.
ISDT
(2019)
Gaolin Li
,
Dongsheng Zhao
,
Weng Kin Ho
-frame Envelopes of Semilattices.
ISDT
(2019)
Jean Goubault-Larrecq
,
Xiaodong Jia
Algebras of the Extended Probabilistic Powerdomain Monad.
ISDT
(2019)
Qingyu He
,
Gaolin Li
,
Xiaoyong Xi
,
Dongsheng Zhao
Some Results on Poset Models Consisting of Compact Saturated Subsets.
ISDT
(2019)
Xuxin Mao
,
Luoshan Xu
Characterizations of Supercontinuous Posets via Scott S-sets and the S-essential Topology.
ISDT
(2019)
Zhenzhu Yuan
,
Qingguo Li
The Duality Theory of General Z-continuous Posets.
ISDT
(2019)
Achim Jung
,
Qingguo Li
,
Luoshan Xu
,
Guo-Qiang Zhang
Preface.
ISDT
(2019)
Yinbin Lei
,
Jun Zhang
Generalizing Topological Set Operators.
ISDT
(2019)
Xiaoquan Xu
,
Wenfeng Zhang
Induced Topologies on the Poset of Finitely Generated Saturated Sets.
ISDT
(2019)
Chong Shen
,
Guohua Wu
,
Dongsheng Zhao
spaces.
ISDT
(2019)
volume 345, 2019
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019
ISDT
345 (2019)
2017
Xuxin Mao
,
Luoshan Xu
Characterizations of Various Continuities of Posets Via Approximated Elements.
ISDT
(2017)
Yayan Yuan
,
Hui Kou
-domains.
ISDT
(2017)
Shuhua Su
,
Qingguo Li
,
Huodi Chen
The Meet-continuity of L-semilattices.
ISDT
(2017)
Jinbo Yang
,
Junmiao Shi
Countably Sober Spaces.
ISDT
(2017)
Zhiwei Zou
,
Qingguo Li
On Subset Families That Form a Continuous Lattice.
ISDT
(2017)
Mao-kang Luo
,
Achim Jung
,
Guo-Qiang Zhang
Preface.
ISDT
(2017)
You Gao
,
Xiangnan Zhou
The Relationships Between KM-fuzzy Quasi-metric Spaces and the Associated Posets of Formal Balls.
ISDT
(2017)
Klaus Keimel
Domain Theory its Ramifications and Interactions.
ISDT
(2017)
Kok Min Ng
,
Weng Kin Ho
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls.
ISDT
(2017)
Chongxia Lu
,
Qingguo Li
-C-continuous Poset.
ISDT
(2017)
Qingyu He
,
Luoshan Xu
Strongly Semicontinuous Lattices.
ISDT
(2017)
Shu-Zhen Luo
,
Xiaoquan Xu
On Monotone Determined Spaces.
ISDT
(2017)
Yanfang Ma
,
Haiyu Pan
The Approximate Correctness of Systems Based on δ-bisimulation.
ISDT
(2017)
volume 333, 2017
Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017
ISDT
333 (2017)
volume 301, 2014
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, ISDT 2013, Hunan University in Changsha, China, October 25-29, 2013
ISDT
301 (2014)
2013
Mingyuan Wu
,
Qingguo Li
,
Xiangnan Zhou
Representations of Algebraic Domains and Algebraic L-domains by Information Systems.
ISDT
(2013)
Wenfeng Zhang
,
Xiaoquan Xu
Meet Precontinuous Posets.
ISDT
(2013)