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

• 2016
• 
  Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken:
  Complexity of reversible circuits and their quantum implementations. Theor. Comput. Sci. 618: 85-106 (2016)
• 
  Simone Bova, Robert Ganian, Stefan Szeider:
  Quantified conjunctive queries on partially ordered sets. Theor. Comput. Sci. 618: 72-84 (2016)
• 
  Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo:
  Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. Theor. Comput. Sci. 618: 122-134 (2016)
• 
  Patrick Chisan Hew:
  Working in binary protects the repetends of 1/3^h: Comment on Colussi's 'The convergence classes of Collatz function'. Theor. Comput. Sci. 618: 135-141 (2016)
• 
  Limei Lin, Li Xu, Shuming Zhou:
  Relating the extra connectivity and the conditional diagnosability of regular graphs under the comparison model. Theor. Comput. Sci. 618: 21-29 (2016)
• 
  Lhouari Nourine, Jean-Marc Petit:
  Extended dualization: Application to maximal pattern mining. Theor. Comput. Sci. 618: 107-121 (2016)
• 
  Alexander Okhotin:
  Input-driven languages are linear conjunctive. Theor. Comput. Sci. 618: 52-71 (2016)
• 
  Markus L. Schmid:
  Computing equality-free and repetitive string factorisations. Theor. Comput. Sci. 618: 42-51 (2016)
• 
  Yingjie Xia, Xuejiao Liu, Fubiao Xia, Guilin Wang:
  A reduction of security notions in designated confirmer signatures. Theor. Comput. Sci. 618: 1-20 (2016)
• 
  Haibin Zhu, Dongning Liu, Siqin Zhang, Yu Zhu, Luyao Teng, Shaohua Teng:
  Solving the Many to Many assignment problem by improving the Kuhn-Munkres algorithm with backtracking. Theor. Comput. Sci. 618: 30-41 (2016)