ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
Decidability of model checking for infinite-state concurrent systems
Distance measures for point sets and their computation
Eiter, T.; Mannila, H.
The additivity problem for functional dependencies in incomplete relations
Levene, M.; Loizou, G.
Computational fractal geometry with WFA
Culik, K.; Kari, J.