Boolean monadic recursive schemes as a logical characterization of the subsequential functions
Document Type
Conference Proceeding
Role
Contributor
Published In
Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA 2020)
Publisher
Springer
First Page
157
Last Page
169
Publication Date
2020
Suggested Citation
Bhaskar, S., et al. (2020). "Boolean monadic recursive schemes as a logical characterization of the subsequential functions." In Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), edited by A. Leporati, C. Martin-Vide, D. Shapira, and C. Zandron (Springer).
