Ilya Mezhirov

According to our database, Ilya Mezhirov authored at least 6 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points.

Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen

Inf. Comput., 2012

2010

On abstract resource semantics and computability logic.

Ilya Mezhirov, Nikolay K. Vereshchagin

J. Comput. Syst. Sci., 2010

Game interpretation of Kolmogorov complexity

Andrej Muchnik, Ilya Mezhirov, Alexander Shen, Nikolai K. Vereshchagin

CoRR, 2010

Ergodic-Type Characterizations of Algorithmic Randomness.

Laurent Bienvenu, Adam R. Day, Ilya Mezhirov, Alexander Shen

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2008

On Game Semantics of the Affine and Intuitionistic Logics.

Ilya Mezhirov, Nikolai K. Vereshchagin

Proceedings of the Logic, 2008

2006

A Game Semantics for Grz.

Ilya Mezhirov

J. Log. Comput., 2006