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

• 2005
• 
  Narciso Martí-Oliet:
  Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 [contents]
• 2004
• 
  Pablo Arrighi, Gilles Dowek:
  A Computational Definition of the Notion of Vectorial Space. WRLA 2004: 249-261
• 
  Christiano Braga, José Meseguer:
  Modular Rewriting Semantics in Practice. WRLA 2004: 393-416
• 
  Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi:
  Ambient Graph Rewriting. WRLA 2004: 335-351
• 
  Iliano Cervesato, Mark-Oliver Stehr:
  Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. WRLA 2004: 183-207
• 
  Gabriel Ciobanu, Dorel Lucanu:
  Communicating Concurrent Objects in HiddenCCS. WRLA 2004: 353-373
• 
  Horatiu Cirstea, Germain Faure, Claude Kirchner:
  A rho-Calculus of Explicit Constraint Application. WRLA 2004: 51-67
• 
  Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
  Rule-based Programming in Java For Protocol Verification. WRLA 2004: 209-227
• 
  Grit Denker, Carolyn L. Talcott:
  Formal Checklists for Remote Agent Dependability. WRLA 2004: 229-248
• 
  Francisco Durán, Santiago Escobar, Salvador Lucas:
  New Evaluation Commands for Maude Within Full Maude. WRLA 2004: 263-284
• 
  Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen:
  A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA 2004: 375-392
• 
  Luigi Liquori, Benjamin Wack:
  The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. WRLA 2004: 89-111
• 
  Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
  Constraint Functional Logic Programming Revisited. WRLA 2004: 5-50
• 
  Narciso Martí-Oliet:
  Preface. WRLA 2004: 1-4
• 
  Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
  Towards a Strategy Language for Maude. WRLA 2004: 417-441
• 
  Ian A. Mason, Carolyn L. Talcott:
  IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. WRLA 2004: 315-333
• 
  José Meseguer, Prasanna Thati:
  Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. WRLA 2004: 153-182
• 
  Peter Csaba Ölveczky, José Meseguer:
  Real-Time Maude 2.1. WRLA 2004: 285-314
• 
  Miguel Palomino, Isabel Pita:
  Proving VLRL Action Properties with the Maude Model Checker. WRLA 2004: 113-133
• 
  Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley:
  From Rogue to MicroRogue. WRLA 2004: 69-87
• 
  Bow-Yaw Wang:
  mu-Calculus Model Checking in Maude. WRLA 2004: 135-152