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

• 1996
• 
  Peter Borovanský, Claude Kirchner, Hélène Kirchner:
  Controlling rewriting by rewriting. WRLA 1996: 169-189
• 
  Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek:
  ELAN: A logical framework based on computational systems. WRLA 1996: 35-50
• 
  Carlos Castro:
  Solving binary CSP using computational systems. WRLA 1996: 246-265
• 
  Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
  Distributed logic objects: A fragment of rewriting logic and its implementation. WRLA 1996: 110-125
• 
  Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
  Principles of Maude. WRLA 1996: 65-89
• 
  Manuel Clavel, José Meseguer:
  Reflection and strategies in rewriting logic. WRLA 1996: 126-148
• 
  Razvan Diaconescu:
  Foundations of behavioural specification in rewriting logic. WRLA 1996: 226-245
• 
  Steven Eker:
  Fast matching in combinations of regular equational theories. WRLA 1996: 90-109
• 
  Fabio Gadducci, Ugo Montanari:
  Tiles, rewriting rules and CCS. WRLA 1996: 1-19
• 
  Hélène Kirchner, Pierre-Etienne Moreau:
  A reflective extension of ELAN. WRLA 1996: 149-168
• 
  Christopher Landauer:
  Discrete event systems in rewriting logic. WRLA 1996: 310-321
• 
  Ulrike Lechner:
  Object-oriented specifications of distributed systems in the mu-Calculus and Maude. WRLA 1996: 385-404
• 
  Narciso Martí-Oliet, José Meseguer:
  Rewriting logic as a logical and semantic framework. WRLA 1996: 190-225
• 
  José Meseguer:
  Preface. WRLA 1996: 424-425
• 
  Hiroyuki Miyoshi:
  Modelling conditional rewriting logic in structured categories. WRLA 1996: 20-34
• 
  Peter Csaba Ölveczky, José Meseguer:
  Specifying real-time systems in rewriting logic. WRLA 1996: 284-309
• 
  Isabel Pita, Narciso Martí-Oliet:
  A Maude specification of an object-oriented database model for telecommunication networks. WRLA 1996: 405-423
• 
  W. Marco Schorlemmer:
  Bi-rewriting rewriting logic. WRLA 1996: 266-283
• 
  Carolyn L. Talcott:
  An actor rewriting theory. WRLA 1996: 361-384
• 
  Patrick Viry:
  Input/Output for ELAN. WRLA 1996: 51-64
• 
  Martin Wirsing, Alexander Knapp:
  A formal approach to object-oriented software engineering. WRLA 1996: 322-360
• 
  José Meseguer:
  First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996. Electronic Notes in Theoretical Computer Science 4, Elsevier 1996 [contents]