Title

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

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

Publication Date

2020

Share

COinS