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

• 2001
• 
  Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni:
  Interactive Rule-Based Specification with an Application to Visual Language Definition. WADT 2001: 1-20
• 
  Michel Bidoit, Alexandre Boisseau:
  Algebraic Abstractions. WADT 2001: 21-47
• 
  Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas:
  Combining Logics: Parchments Revisited. WADT 2001: 48-70
• 
  José Félix Costa, Hugo Lourenço:
  Canonical Institutions of Behaviour. WADT 2001: 71-84
• 
  Walter Dosch, Sönke Magnussen:
  The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT 2001: 85-108
• 
  Magdalena Gajewsky, Francesco Parisi-Presicce:
  On the Compatibility of Model and Model-Class Transformations. WADT 2001: 109-127
• 
  Neal A. Harman:
  Verifying a Simple Pipelined Microprocessor Using Maude. WADT 2001: 128-151
• 
  Piotr Hoffman:
  Verifying Architectural Specifications. WADT 2001: 152-175
• 
  Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand:
  Geometric Modelling with CASL. WADT 2001: 176-200
• 
  Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
  A Compositional Approach to Connector Construction. WADT 2001: 201-220
• 
  Till Mossakowski, Bartek Klin:
  Institution Independent Static Analysis for CASL. WADT 2001: 221-237
• 
  Fernando Orejas, Hartmut Ehrig, Elvira Pino:
  Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255
• 
  Wieslaw Pawlowski:
  Presentations for Abstract Context Institutions. WADT 2001: 256-279
• 
  Iman Poernomo, John N. Crossley, Martin Wirsing:
  Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
• 
  Markus Roggenbach, Lutz Schröder:
  Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327
• 
  Donald Sannella:
  The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. WADT 2001: 328-344
• 
  Maura Cerioli, Gianna Reggio:
  Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Lecture Notes in Computer Science 2267, Springer 2001, ISBN 3-540-43159-4 [contents]