Journals in DBLP
Acta Inf. 1988, volume: 26, number: 1/2
Johannes G. G. van de Vorst The Formal Development of a Parallel Program Performing LU-Decomposition. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:1-17 [Journal ] Dean Jacobs , Martin S. Feather Corrections to ``A Synthesis of Several Sorting Algorithms'' by J. Darlington. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:19-23 [Journal ] Elisa Bertino , Daniela Musto Correctness of Semantic Integrity Checking in Database Management Systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:25-57 [Journal ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari A Distributed Operational Semantics for CCS Based on Condition/Event Systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:59-91 [Journal ] Klaus Sutner , Wolfgang Maass Motion Planning Among Time Dependent Obstacles. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:93-122 [Journal ] Luc Devroye Applications of the Theory of Records in the Study of Random Trees. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:123-130 [Journal ] Joost Engelfriet , Heiko Vogler High Level Tree Transducers and Iterated Pushdown Tree Transducers. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:131-192 [Journal ]