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

• 2018
• 
  Horatiu Cirstea, David Sabel:
  Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. EPTCS 265, 2018 [contents]
• 2017
• 
  Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud:
  Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD 2017: 2-19
• 
  Liyi Li, Elsa L. Gunter:
  A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. WPTE@FSCD 2017: 20-34
• 
  Shinnosuke Mizutani, Naoki Nishida:
  Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. WPTE@FSCD 2017: 35-51
• 
  Koko Muroya, Dan R. Ghica:
  Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD 2017: 52-66
• 
  Yutaro Nagae, Masahiko Sakai:
  Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems. WPTE@FSCD 2017: 67-81
• 
  Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama:
  Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. WPTE@FSCD 2017: 82-97
• 
  Manfred Schmidt-Schauß, Nils Dallmeyer:
  Space Improvements and Equivalences in a Functional Core Language. WPTE@FSCD 2017: 98-112