David Cash, Dennis Hofheinz, et al.
Journal of Cryptology
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
Conference paper
Motion video analysis using planar parallax
Harpreet S. Sawhney
IS&T/SPIE Electronic Imaging 1994
Charles A Micchelli
Journal of Approximation Theory
Nimrod Megiddo
Journal of Symbolic Computation