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

• 2016
• 
  Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
  A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016: 47-63
• 
  Yohan Boichut, Vivien Pelletier, Pierre Réty:
  Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. WRLA 2016: 64-81
• 
  Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam:
  Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA 2016: 82-97
• 
  Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
  Labelled Graph Rewriting Meets Social Networks. WRLA 2016: 1-25
• 
  Salvador Lucas:
  Use of Logical Models for Proving Operational Termination in General Logics. WRLA 2016: 26-46
• 
  Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
  Egalitarian State-Transition Systems. WRLA 2016: 98-117
• 
  Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
  Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016: 118-133
• 
  Vlad Rusu, Andrei Arusoaie:
  Proving Reachability-Logic Formulas Incrementally. WRLA 2016: 134-151
• 
  Traian-Florin Serbanuta, Liviu P. Dinu:
  Maximally Parallel Contextual String Rewriting. WRLA 2016: 152-166
• 
  Stephen Skeirik, José Meseguer:
  Metalevel Algorithms for Variant Satisfiability. WRLA 2016: 167-184
• 
  Dorel Lucanu:
  Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9942, Springer 2016, ISBN 978-3-319-44801-5 [contents]