L Auslander, E Feig, et al.
Advances in Applied Mathematics
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
Naga Ayachitula, Melissa Buco, et al.
SCC 2007
Charles A Micchelli
Journal of Approximation Theory
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004