1. Automating the Knuth Bendix ordering

   • Jeremy Dick
   • John Kalmus
   • Ursula Martin

   OriginalPaper Pages: 95 - 119

2. Properties of data flow frameworks

   • T. J. Marlowe
   • B. G. Ryder

   OriginalPaper Pages: 121 - 163

3. Binary search trees of almost optimal height

   • Arne Andersson
   • Christian Icking
   • Thomas Ottmann

   OriginalPaper Pages: 165 - 178

4. On characterizations of recursively enumerable languages

   • Michel Latteux
   • Paavo Turakainen

   OriginalPaper Pages: 179 - 186