David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence
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
Zhihua Xiong, Yixin Xu, et al.
International Journal of Modelling, Identification and Control
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
A. Skumanich
SPIE OE/LASE 1992