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

• 2009
• 
  Grigore Rosu:
  Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 238(3), Elsevier 2009 [contents]
• 2008
• 
  Oana Agrigoroaiei, Gabriel Ciobanu:
  Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. WRLA 2008: 5-22
• 
  Oana Andrei, Dorel Lucanu:
  Strategy-Based Proof Calculus for Membrane Systems. WRLA 2008: 23-43
• 
  Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
  Hierarchical Design Rewriting with Maude. WRLA 2008: 45-62
• 
  Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
  A Declarative Debugger for Maude Functional Modules. WRLA 2008: 63-81
• 
  Francisco Durán, Peter Csaba Ölveczky:
  A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA 2008: 83-102
• 
  Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser:
  The Second Rewrite Engines Competition. WRLA 2008: 281-291
• 
  Santiago Escobar, José Meseguer, Ralf Sasse:
  Variant Narrowing and Equational Unification. WRLA 2008: 103-119
• 
  Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras:
  Patterns for Maude Metalanguage Applications. WRLA 2008: 121-138
• 
  Lars Helge Haß, Thomas Noll:
  Equational Abstractions for Reducing the State Space of Rewrite Theories. WRLA 2008: 139-154
• 
  Mark Hills:
  Memory Representations in Rewriting Logic Semantics Definitions. WRLA 2008: 155-172
• 
  Bjarne Holen, Einar Broch Johnsen, Arild Waaler:
  Proof Search for the First-Order Connection Calculus in Maude. WRLA 2008: 173-188
• 
  Matthias M. Hölzl, Max Meier, Martin Wirsing:
  Which Soft Constraints do you Prefer? WRLA 2008: 189-205
• 
  Salvador Lucas, José Meseguer:
  Operational Termination of Membership Equational Programs: the Order-Sorted Way. WRLA 2008: 207-225
• 
  Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
  A Rewriting Semantics for Maude Strategies. WRLA 2008: 227-247
• 
  Adrián Riesco, Alberto Verdejo:
  Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. WRLA 2008: 249-266
• 
  Dilia E. Rodríguez:
  Combining Techniques to Reduce State Space and Prove Strong Properties. WRLA 2008: 267-280
• 
  Grigore Rosu:
  Preface. WRLA 2008: 1-3