Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
In this paper we solve the decision problem of a certain second- order mathematical theory and apply it to obtain a large number of decidability results. The method of solution involves the development of a theory of automata on infinite trees—a chapter in combinatorial mathematics which may be of independent interest.
Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Jonathan Ashley, Brian Marcus, et al.
Ergodic Theory and Dynamical Systems
Chai Wah Wu
Linear Algebra and Its Applications
F.M. Schellenberg, M. Levenson, et al.
BACUS Symposium on Photomask Technology and Management 1991