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

• 2011
• 
  Thomas Bolander, Torben Braüner:
  International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS 2010, Edinburgh, Scotland, UK, July 10, 2010. Electronic Notes in Theoretical Computer Science 273, Elsevier 2011 [contents]
• 2010
• 
  Thomas Bolander, Torben Braüner:
  Preface. HyLo@LICS 2010: 1-2
• 
  Jens Ulrik Hansen:
  A Hybrid Public Announcement Logic with Distributed Knowledge. HyLo@LICS 2010: 33-50
• 
  Dario Della Monica, Valentin Goranko, Guido Sciavicco:
  Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. HyLo@LICS 2010: 3-19
• 
  Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker:
  Constructive Description Logics Hybrid-Style. HyLo@LICS 2010: 21-31
• 
  Katsuhiko Sano:
  Axiomatizing Hybrid Products of Monotone Neighborhood Frames. HyLo@LICS 2010: 51-67