Ilya Mezhirov

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Randomly Distributed

Top Venues

Publications

Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points. Inf. Comput. 210 (2012)
Ilya Mezhirov, Nikolay K. Vereshchagin
On abstract resource semantics and computability logic. J. Comput. Syst. Sci. 76 (5) (2010)
Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points CoRR (2010)
Andrej Muchnik, Ilya Mezhirov, Alexander Shen, Nikolai K. Vereshchagin
Game interpretation of Kolmogorov complexity CoRR (2010)
Laurent Bienvenu, Adam R. Day, Ilya Mezhirov, Alexander Shen
Ergodic-Type Characterizations of Algorithmic Randomness. CiE (2010)
Ilya Mezhirov, Nikolai K. Vereshchagin
On Game Semantics of the Affine and Intuitionistic Logics. WoLLIC (2008)
Ilya Mezhirov
A Game Semantics for Grz. J. Log. Comput. 16 (5) (2006)