External Links

    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*
    runs on