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

• 2010
• 
  Andrew Butterfield:
  Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5713, Springer 2010, ISBN 978-3-642-14520-9 [contents]
• 2008
• 
  Hugh Anderson, Gabriel Ciobanu, Leo Freitas:
  UTP and Temporal Logic Model Checking. UTP 2008: 22-41
• 
  Ralph-Johan Back:
  Refinement Calculus as a Theory of Contracts (Invited Paper). UTP 2008: 1
• 
  Ana Cavalcanti, Marie-Claude Gaudel:
  A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. UTP 2008: 42-61
• 
  Steve Dunne, Ian J. Hayes, Andy Galloway:
  Reasoning about Loops in Total and General Correctness. UTP 2008: 62-81
• 
  Walter Guttmann:
  Lazy UTP. UTP 2008: 82-101
• 
  Jifeng He:
  Transaction Calculus - (Invited Paper). UTP 2008: 2-21
• 
  Clare E. Martin, Sharon A. Curtis:
  Monadic Maps and Folds for Multirelations in an Allegory. UTP 2008: 102-121
• 
  Alistair A. McEwan, Jim Woodcock:
  Unifying Theories of Interrupts. UTP 2008: 122-141
• 
  Juan Ignacio Perna, Jim Woodcock:
  UTP Semantics for Handel-C. UTP 2008: 142-160
• 
  Michael Anthony Smith, Jeremy Gibbons:
  Unifying Theories of Locations. UTP 2008: 161-180
• 
  Martin Weiglhofer, Bernhard K. Aichernig:
  Unifying Input Output Conformance. UTP 2008: 181-201
• 
  Jim Woodcock:
  The Miracle of Reactive Programming. UTP 2008: 202-217
• 
  Frank Zeyda, Ana Cavalcanti:
  Encoding Circus Programs in ProofPowerZ. UTP 2008: 218-237
• 
  Naijun Zhan, Eun-Young Kang, Zhiming Liu:
  Component Publications and Compositions. UTP 2008: 238-257
• 
  Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin:
  Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278