1. A priority queue with interruptions of service permitted after a time quantum

   • Bogdan Rembowski

   OriginalPaper Pages: 241 - 251

2. Short proofs for tricky formulas

   • Balakrishnan Krishnamurthy

   OriginalPaper Pages: 253 - 275

3. Decidable properties of monadic recursive schemas with a depth parameter

   • Jakob Gonczarowski

   OriginalPaper Pages: 277 - 310

4. Proving properties of Pascal programs in MIZAR 2

   • Piotr Rudnicki
   • Włodzimierz Drabent

   OriginalPaper Pages: 311 - 331

5. Probabilistic bounds for dual bin-packing

   • John L. Bruno
   • Peter J. Downey

   OriginalPaper Pages: 333 - 345