Juliann Opitz, Robert D. Allen, et al.
Microlithography 1998
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
Da-Ke He, Ashish Jagmohan, et al.
ISIT 2007
Matthew A Grayson
Journal of Complexity
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.