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

• 2001
• 
  Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese:
  Prototyping and Programming with Relations. RelMiS 2001: 27-50
• 
  Roberto Bruni, Fabio Gadducci:
  Some algebraic laws for spans. RelMiS 2001: 175-193
• 
  Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni:
  A graphical approach to relational reasoning. RelMiS 2001: 153-174
• 
  Diego Del Gobbo, Ali Mili:
  An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. RelMiS 2001: 94-111
• 
  Wolfram Kahl:
  Refinement and Development of Programs from Relational Specifications. RelMiS 2001: 51-93
• 
  Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
  RelMiS 2001 - Preface. RelMiS 2001: 221-223
• 
  Ridha Khédri:
  Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. RelMiS 2001: 112-135
• 
  Eugenio G. Omodeo, Ernst-Erich Doberkat:
  Algebraic semantics of ER-models in the context of the calculus of relations. RelMiS 2001: 136-152
• 
  David Lorge Parnas:
  The Tabular Method for Relational Documentation. RelMiS 2001: 1-26
• 
  Michael Winter:
  Generating Processes from Specifications using the Relation Manipulation System RelView. RelMiS 2001: 194-220
• 
  Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
  First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Electronic Notes in Theoretical Computer Science 44(3), Elsevier 2001 [contents]