Journal: Inf. Comput.

Volume 201, Issue 1

1 -- 54Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli. The Seal Calculus
55 -- 71Yuri Kalnishkan, Vladimir Vovk, Michael V. Vyugin. How many strings are easy to predict?
72 -- 119Mark Reynolds. An axiomatization of PCTL*