• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 79 matches

• 2022
• 
  Yinglong Song, Jinbo Yang:
  Strongly Continuous Domains. ISDT 2022
• 
  Liping Zhang, Xiangnan Zhou, Qingguo Li:
  A Hofmann-Mislove theorem for c-well-filtered spaces. ISDT 2022
• 
  Mengjie Jin, Qingguo Li:
  On k-ranks of topological spaces. ISDT 2022
• 
  Hualin Miao, Qingguo Li, Dongsheng Zhao:
  One-step closure, weak one-step closure and meet continuity. ISDT 2022
• 
  Xiangping Chu, Qingguo Li:
  The d^*-space. ISDT 2022
• 
  Huijun Hou, Qingguo Li:
  Weakly meet s_Z-continuity and δ_Z-continuity. ISDT 2022
• 
  Min Liu, Yulin Li:
  Quantaloidal Completions of Order-enriched Categories and Their Applications. ISDT 2022
• 
  Xiaojun Ruan, Xiaoquan Xu:
  SI₂-quasicontinuous spaces. ISDT 2022
• 
  Jean Goubault-Larrecq, Xiaodong Jia:
  Continuous R-valuations. ISDT 2022
• 
  Zhenchao Lyu, Xiaolin Xie, Hui Kou:
  A note on the category of c-spaces. ISDT 2022
• 
  Zhaorong He, Zhongqiang Yang, Dongsheng Zhao:
  Quasiexact posets and the moderate meet-continuity. ISDT 2022
• 
  Huarong Zhang, Dongsheng Zhao:
  The sheaf representation of residuated lattices. ISDT 2022
• 
  Anneliese Schauerte, John Frith:
  Partial frames, their free frames and their congruence frames. ISDT 2022
• 
  Chong Shen, Xiaoyong Xi, Dongsheng Zhao:
  Further studies on open well-filtered spaces. ISDT 2022
• 
  Guojun Wu, Luoshan Xu:
  Representations of Domains via CF-approximation Spaces. ISDT 2022
• 
  Weng Kin Ho, Dongsheng Zhao, Achim Jung, 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 [contents]
• 2019
• 
  Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu:
  Domain-complete and LCS-complete Spaces. ISDT 2019: 3-35
• 
  Jean Goubault-Larrecq, Xiaodong Jia:
  Algebras of the Extended Probabilistic Powerdomain Monad. ISDT 2019: 37-61
• 
  Qingyu He, Gaolin Li, Xiaoyong Xi, Dongsheng Zhao:
  Some Results on Poset Models Consisting of Compact Saturated Subsets. ISDT 2019: 77-85
• 
  Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang:
  Preface. ISDT 2019: 1-2
• 
  Yinbin Lei, Jun Zhang:
  Generalizing Topological Set Operators. ISDT 2019: 63-76
• 
  Gaolin Li, Dongsheng Zhao, Weng Kin Ho:
  Universal Approach to Z-frame Envelopes of Semilattices. ISDT 2019: 87-97
• 
  Hui Li, Xiangnan Zhou, Qingguo Li:
  Continuous Prequantale Models of T₁ Topological Semigroups. ISDT 2019: 99-111
• 
  Chunhui Liu:
  Uniform Topological Spaces Based on BF-ideals in Negative Non-involutive Residuated Lattices. ISDT 2019: 113-124
• 
  Shu-Zhen Luo, Xiaoquan Xu:
  On SI₂-continuous Spaces. ISDT 2019: 125-141
• 
  Zhenchao Lyu, Hui Kou:
  A Cartesian Closed Category of Domains with Almost Algebraic Bases. ISDT 2019: 143-168
• 
  Xuxin Mao, Luoshan Xu:
  Characterizations of Supercontinuous Posets via Scott S-sets and the S-essential Topology. ISDT 2019: 169-183
• 
  Kok Min Ng, Weng Kin Ho:
  Quasi-continuous Yoneda Complete Quasi-Metric Space. ISDT 2019: 185-217
• 
  Chong Shen, Guohua Wu, Dongsheng Zhao:
  Weak Domain Models of T₁ spaces. ISDT 2019: 219-232
• 
  Shuhua Su, Qi Li:
  Lattices of Irreducibly-derived Closed Sets. ISDT 2019: 233-247

skipping 49 more matches