Conference paper
Compression scheme for digital cinema application
Ligang Lu, Jack L. Kouloheris
IS&T/SPIE Electronic Imaging 2002
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 A. Hoffnagle, William D. Hinsberg, et al.
Microlithography 2003
Robert Manson Sawko, Malgorzata Zimon
SIAM/ASA JUQ
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering