Boolean monadic recursive schemes as a logical characterization of the subsequential functions

Authors

Siddharth Bhaskar, Haverford College
Jane Chandlee, Haverford CollegeFollow
Adam Jardine
Christophen Oakden

Document Type

Conference Proceeding

Role

Contributor

Publication

Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA 2020)

Publisher

Springer

Standard Number

9783030406073

First Page

157

Last Page

169

Publication Date

2020

Repository 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).