Naga Ayachitula, Melissa Buco, et al.
SCC 2007
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
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
John A. Hoffnagle, William D. Hinsberg, et al.
Microlithography 2003
Fausto Bernardini, Holly Rushmeier
Proceedings of SPIE - The International Society for Optical Engineering