Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
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.
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
James Lee Hafner
Journal of Number Theory
George Markowsky
J. Math. Anal. Appl.
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989