On Effective Birkhoff's Ergodic Theorem for Computable Actions of Amenable Groups

N. Moriakov

Theory of Computing Systems 2017.

DOI