1. Program invariants as fixedpoints

   • E. M. Clarke

   OriginalPaper Pages: 273 - 294

2. Clique detection for nondirected graphs: Two new algorithms

   • L. Gerhards
   • W. Lindenberg

   OriginalPaper Pages: 295 - 322

3. Ein Verfahren zur Alternativroutensuche in Verkehrsnetzen

   • H. Sonntag

   OriginalPaper Pages: 323 - 331

4. Transformationendarstellungen endlicher abstrakt präsentierter Halbgruppen

   • H. Jürgensen

   OriginalPaper Pages: 333 - 342

5. Best convergence rates of linear multistep methods for Volterra first kind equations

   • S. McKee

   OriginalPaper Pages: 343 - 358

6. Another special method to sample probability density functions

   • I. Lux

   Short Communication Pages: 359 - 364