Journals in DBLP

Acta Inf.
1985, volume: 22, number: 3

1. Bogdan Rembowski
   A Priority Queue With Interruptions of Service Permitted After a Time Quantum. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1985, v:22, n:3, pp:241-251 [Journal]
   
2. Balakrishnan Krishnamurthy
   Short Proofs for Tricky Formulas. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1985, v:22, n:3, pp:253-275 [Journal]
   
3. Jakob Gonczarowski
   Decidable Properties of Monadic Recursive Schemas With a Depth Parameter. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1985, v:22, n:3, pp:277-310 [Journal]
   
4. Piotr Rudnicki, Wlodzimierz Drabent
   Proving Properties of Pascal Programs in MIZAR 2. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1985, v:22, n:3, pp:311-331 [Journal]
   
5. John L. Bruno, Peter J. Downey
   Probabilistic Bounds for Dual Bin-Packing. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1985, v:22, n:3, pp:333-345 [Journal]