Conference paper
Surface light-induced changes in thin polymer films
Andrew Skumanich
SPIE Optics Quebec 1993
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
John S. Lew
Mathematical Biosciences
Zhihua Xiong, Yixin Xu, et al.
International Journal of Modelling, Identification and Control
Martin Charles Golumbic, Renu C. Laskar
Discrete Applied Mathematics