Journals in DBLP

Acta Inf.
1994, volume: 31, number: 1

1. Dana S. Scott
   A. Nico Habermann 1932-1993. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1994, v:31, n:1, pp:1-3 [Journal]
   
2. José Félix Costa, Amílcar Sernadas, Cristina Sernadas
   Object Inheritance Beyond Subtyping. [Citation Graph (1, 0)][DBLP]
   Acta Inf., 1994, v:31, n:1, pp:5-26 [Journal]
   
3. Jianwen Su
   Dependency Preservation in Semantic Databases. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1994, v:31, n:1, pp:27-54 [Journal]
   
4. Nicoletta De Francesco, Paola Inverardi
   Proving Finiteness of CCS Processes by Non-Standard Semantics. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1994, v:31, n:1, pp:55-80 [Journal]
   
5. Christel Baier, Mila E. Majster-Cederbaum
   The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1994, v:31, n:1, pp:81-104 [Journal]