Information and Computation

Complexity of Equivalence Problems for Concurrent Systems of Finite Agents
pp. 111-129(19)
Author: Rabinovich A.

Positive Tree Representations and Applications to Tree Automata
pp. 130-153(24)
Author: Bozapalidis S.

Lambda Calculus with Explicit Recursion
pp. 154-233(80)
Authors: Ariola Z.M.; Klop J.W.

Time Bounded Frequency Computations
pp. 234-257(24)
Authors: Hinrichs M.; Wechsung G.

A Worst-Case Analysis of the LZ2 Compression Algorithm
pp. 258-268(11)
Authors: De Agostino S.; Silvestri R.