• 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 20 matches

• 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
• 
  Luoshan Xu, Dongsheng Zhao:
  C_σ-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness. ISDT 2019: 249-260
• 
  Xiaoquan Xu, Wenfeng Zhang:
  Induced Topologies on the Poset of Finitely Generated Saturated Sets. ISDT 2019: 261-269
• 
  Lingjuan Yao, Qingguo Li:
  Representation of FS-domains Based on Closure Spaces. ISDT 2019: 271-279
• 
  Zhenzhu Yuan, Qingguo Li:
  The Duality Theory of General Z-continuous Posets. ISDT 2019: 281-292
• 
  Wenfeng Zhang, Wenfeng Li, Xiaoquan Xu:
  s₂-Quasialgebraic Posets. ISDT 2019: 293-301
• 
  Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang:
  Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019. Electronic Notes in Theoretical Computer Science 345, Elsevier 2019 [contents]