• 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

• 1990
• 
  John E. Nicholls:
  Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989. Workshops in Computing, Springer 1990, ISBN 978-3-540-19627-3 [contents]
• 1989
• 
  M. Benjamin:
  A Message Passing System. An example of combining CSP and Z. Z User Workshop 1989: 221-228
• 
  David R. Brownbridge:
  Using Z to Develop a CASE Toolset. Z User Workshop 1989: 142-149
• 
  Tony Bryant:
  Structured methodologies & formal notations: Developing a framework for synthesis and investigation. Z User Workshop 1989: 229-241
• 
  David Cooper:
  Educating Management in Z. Z User Workshop 1989: 192-194
• 
  A. J. J. Dick, Paul J. Krause, J. Cozens:
  Computer Aided Transformation of Z into Prolog. Z User Workshop 1989: 71-85
• 
  Mike Flynn, Tim Hoverd, David Brazier:
  Formaliser - An Interactive Support Tool for Z. Z User Workshop 1989: 128-141
• 
  Andrew M. Gravell:
  Minimisation in Formal Specification and Design. Z User Workshop 1989: 32-45
• 
  Ian J. Hayes:
  A Generalisation of Bags in Z. Z User Workshop 1989: 113-127
• 
  Michael Johnson, Paul Sanders:
  From Z Specifications To Functional Implementations. Z User Workshop 1989: 86-112
• 
  Kevin Lano, Peter T. Breuer:
  From Programs to Z Specifications. Z User Workshop 1989: 46-70
• 
  T. C. Nash:
  Using Z to Describe Large Systems. Z User Workshop 1989: 150-178
• 
  Brian Oakley:
  Opening address: The state of use of Formal Methods. Z User Workshop 1989: 1-5
• 
  Mark Phillips:
  CICS/ESA 3.1 Experiences. Z User Workshop 1989: 179-185
• 
  Alf Smith:
  The Knuth-Bendix Completion Algorithm and Its Specification in Z. Z User Workshop 1989: 195-220
• 
  J. Michael Spivey, Bernard Sufrin:
  Type Inference in Z. Z User Workshop 1989: 6-31
• 
  Robin W. Whitty:
  Structural Metrics for Z Specifications. Z User Workshop 1989: 186-191