Richard M. Karp, Raymond E. Miller
Journal of Computer and System Sciences
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.
Richard M. Karp, Raymond E. Miller
Journal of Computer and System Sciences
Timothy J. Wiltshire, Joseph P. Kirk, et al.
SPIE Advanced Lithography 1998
J.P. Locquet, J. Perret, et al.
SPIE Optical Science, Engineering, and Instrumentation 1998
Jianke Yang, Robin Walters, et al.
ICML 2023