Amir Ali Ahmadi, Raphaël M. Jungers, et al.
SICON
Paper
Decidability of second-order theories and automata on infinite trees
Abstract
In this note we announce the solvability of the decision problem of the (monadic) second-order theory of two suc- cessor functions (S2S). This answers a question raised by Büchi.
Related
Heng Cao, Haifeng Xi, et al.
WSC 2003
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Guo-Jun Qi, Charu Aggarwal, et al.
IEEE TPAMI