Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions

von Bhaskar, Siddharth
Veröffentlicht in International Conference on Language and Automata Theory and Applications (14. : 2021 : Mailand) Language and automata theory and applications (2020)