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

• 1997
• 
  Davide Ancona, Elena Zucca:
  An algebra of mixin modules. WADT 1997: 92-106
• 
  T. Borzyskowski:
  Correctness of a logical system for structured specifications. WADT 1997: 107-121
• 
  Roberto Bruni, Ugo Montanari:
  Zero-safe nets: The individual token approach. WADT 1997: 122-140
• 
  Maura Cerioli, Elena Zucca:
  Implementation of derived programs (almost) for free. WADT 1997: 141-155
• 
  Sophie Cherki, Christine Choppy:
  A method for FORTRAN programs reverse engineering using algebraic specifications. WADT 1997: 156-173
• 
  Corina Cîrstea:
  Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. WADT 1997: 174-189
• 
  Andrea Corradini:
  A Completeness result for equational deduction in coalgebraic specification. WADT 1997: 190-205
• 
  F. Miguel Dionísio, Udo W. Lipeck:
  Specifying with defaults: Compositional semantics. WADT 1997: 206-222
• 
  Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter:
  From abstract data types to algebraic development techniques: A shift of paradigms. WADT 1997: 1-17
• 
  Fabio Gadducci, Reiko Heckel:
  An inductive view of graph transformation. WADT 1997: 223-237
• 
  Martin Gogolla, Mark Richters:
  On combining semiformal and formal object specification techniques. WADT 1997: 238-252
• 
  Bernhard Gramlich:
  Modular aspects of rewrite-based specifications. WADT 1997: 253-268
• 
  Martin Große-Rhode:
  From algebra transformation to labelled transition systems. WADT 1997: 269-284
• 
  Slawomir Lasota:
  Open maps as a bridge between algebraic observational equivalence and bisimilarity. WADT 1997: 285-299
• 
  Alfio Martini, Uwe Wolter:
  A systematic study of mappings between institutions. WADT 1997: 300-315
• 
  José Meseguer:
  Membership algebra as a logical framework for equational specification. WADT 1997: 18-61
• 
  José Meseguer, Ugo Montanari:
  Mapping tile logic into rewriting logic. WADT 1997: 62-91
• 
  Till Mossakowski:
  Colimits of order-sorted specifications. WADT 1997: 316-332
• 
  Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
  Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348
• 
  Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski:
  Combining and representing logical systems using model-theoretic parchments. WADT 1997: 349-364
• 
  Peter Padawitz:
  Towards the one-tiered design of data types and transition systems. WADT 1997: 365-380
• 
  Wieslaw Pawlowski:
  Context parchments. WADT 1997: 381-401
• 
  Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing:
  Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417
• 
  Michal Walicki, Marcin Bialasik:
  Categories of relational structures. WADT 1997: 418-434
• 
  Francesco Parisi-Presicce:
  Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers. Lecture Notes in Computer Science 1376, Springer 1997, ISBN 3-540-64299-4 [contents]