1. Some beautiful arguments using mathematical induction

   • Edsger W. Dijkstra

   OriginalPaper Pages: 1 - 8

2. Semantic properties of Lucid's compute clause and its compilation

   • Christoph M. Hoffmann

   OriginalPaper Pages: 9 - 20

3. Variance reduction techniques for the simulation of Markov process

   • Philip Heidelberger

   OriginalPaper Pages: 21 - 37

4. An algorithmic and complexity analysis of interpolation search

   • Gaston H. Gonnet
   • Lawrence D. Rogers
   • J. Alan George

   OriginalPaper Pages: 39 - 52

5. Applications of efficient mergeable heaps for optimization problems on trees

   • Zvi Galil

   OriginalPaper Pages: 53 - 58

6. Gobang ist PSPACE-vollständig

   • Stefan Reisch

   OriginalPaper Pages: 59 - 66

7. Paramodulated connection graphs

   • Jörg Siekmann
   • Graham Wrightson

   OriginalPaper Pages: 67 - 86

8. On generators and generative capacity of EOL forms

   • H. A. Maurer
   • A. Salomaa
   • D. Wood

   OriginalPaper Pages: 87 - 107