TY - JOUR AU - N. N. Korneeva TI - Monadic theories of infinite sequences under asynchronous automata transformations JO - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki PY - 2012 SP - 117 EP - 124 VL - 154 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/UZKU_2012_154_2_a11/ LA - ru ID - UZKU_2012_154_2_a11 ER -