Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Paper
Decidability of second-order theories and automata on infinite trees
Abstract
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.
Related
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Conference paper
Byzantine-Robust Decentralized Federated Learning
Minghong Fang, Zifan Zhang, et al.
CCS 2024