|
Journals in DBLP
Acta Inf. 1998, volume: 35, number: 6
- Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
Consistent Records in Asynchronous Computations. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:6, pp:441-455 [Journal]
- Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
A Logic-Based Approach to Program Flow Analysis. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:6, pp:457-504 [Journal]
- Zoltán Ésik, Michael Bertol
Nonfinite Axiomatizability of the Equational Theory of Shuffle. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:6, pp:505-539 [Journal]
|