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

• 2009
• 
  Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
  Preface. ISDT 2009: 1-2
• 
  Wenjie Du, Yuxin Deng:
  On Mobility and Communication. ISDT 2009: 19-33
• 
  Klaus Keimel:
  Bicontinuous Domains and Some Old Problems in Domain Theory. ISDT 2009: 35-54
• 
  Yanfang Ma, Min Zhang:
  Topological Construction of Parameterized Bisimulation Limit. ISDT 2009: 55-70
• 
  Christoph Schubert:
  Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence. ISDT 2009: 71-85
• 
  Hengyang Wu, Yixiang Chen:
  A Duality Theorem for Quantitative Semantics. ISDT 2009: 87-97
• 
  Li-Gang Wu, Lei Fan:
  Domain Equations Based on Sets with Families of Pre-orders. ISDT 2009: 99-115
• 
  Lingyun Yang, Luoshan Xu:
  On Rough Concept Lattices. ISDT 2009: 117-133
• 
  Wei Yao:
  L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos. ISDT 2009: 135-152
• 
  Guo-Qiang Zhang:
  Closures in Binary Partial Algebras. ISDT 2009: 3-18
• 
  Yihui Zhou, Bin Zhao:
  Z-abstract Basis. ISDT 2009: 153-158
• 
  Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
  Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009. Electronic Notes in Theoretical Computer Science 257, Elsevier 2009 [contents]