Number 304, Volume 1-3, 28 July 2003
: The complexity of bisimilarity-checking for one-counter processes.
: 2-Role assignments on triangulated graphs.
: A descriptive complexity approach to the linear hierarchy.
V. Y. Popov
: The approximate period problem for DNA alphabet.
: On ground tree transformations and congruences induced by tree automata.