|
Journals in DBLP
Acta Inf. 1997, volume: 34, number: 2
- Javier Esparza
Decidability of Model Checking for Infinite-State Concurrent Systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:2, pp:85-107 [Journal]
- Thomas Eiter, Heikki Mannila
Distance Measures for Point Sets and their Computation. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:2, pp:109-133 [Journal]
- Mark Levene, George Loizou
The Additivity Problem for Functional Dependencies in Incomplete Relations. [Citation Graph (1, 0)][DBLP] Acta Inf., 1997, v:34, n:2, pp:135-149 [Journal]
- Karel Culik II, Jarkko Kari
Computational Fractal Geometry with WFA. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:2, pp:151-166 [Journal]
|