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

• 1993
• 
  Roland Carl Backhouse, Paul F. Hoogendijk:
  Elements of a Relational Theory of Datatypes. Formal Program Development 1993: 7-42
• 
  Richard S. Bird, Oege de Moor:
  From Dynamic Programming to Greedy Algorithms. Formal Program Development 1993: 43-61
• 
  James M. Boyle, Terence J. Harmer:
  Practical Transformation of Functional Programs for Efficient Execution: A Case Study. Formal Program Development 1993: 62-88
• 
  Martin S. Feather:
  Behavior-Oriented Specification in Gist. Formal Program Development 1993: 89-122
• 
  Bernhard Möller:
  Derivation of Graph and Pointer Algorithms. Formal Program Development 1993: 123-160
• 
  Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
  Introduction. Formal Program Development 1993: 1-6
• 
  Carroll Morgan:
  The Refinement Calculus, and Literate Development. Formal Program Development 1993: 161-182
• 
  Helmuth Partsch:
  Formal Problem Specification on an Algebraic Basis. Formal Program Development 1993: 183-224
• 
  Peter Pepper:
  Program Development in an Algebraic Setting. Formal Program Development 1993: 225-262
• 
  Alberto Pettorossi, Maurizio Proietti:
  Rules and Strategies for Program Transformation. Formal Program Development 1993: 263-304
• 
  Michel Sintzoff:
  Endomorphic Typing. Formal Program Development 1993: 305-323
• 
  Douglas R. Smith:
  Automating the Design of Algorithm. Formal Program Development 1993: 324-354
• 
  S. Doaitse Swierstra, Oege de Moor:
  Virtual Data Structures. Formal Program Development 1993: 355-371
• 
  Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
  Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755, Springer 1993, ISBN 3-540-57499-9 [contents]