Conference paper
Soft x-ray diffraction of striated muscle
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
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.
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
Minghong Fang, Zifan Zhang, et al.
CCS 2024