A priority queue with interruptions of service permitted after a time quantum Bogdan Rembowski OriginalPaper Pages: 241 - 251
Decidable properties of monadic recursive schemas with a depth parameter Jakob Gonczarowski OriginalPaper Pages: 277 - 310
Proving properties of Pascal programs in MIZAR 2 Piotr RudnickiWłodzimierz Drabent OriginalPaper Pages: 311 - 331
Probabilistic bounds for dual bin-packing John L. BrunoPeter J. Downey OriginalPaper Pages: 333 - 345