A carregar...
Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions
This paper defines boolean monadic recursive schemes (BMRSs), a restriction on recursive programs, and shows that when interpreted as transductions on strings they describe exactly the subsequential functions. We discuss how this new result furthers the study of the connections between logic, formal...
Na minha lista:
| Publicado no: | Language and Automata Theory and Applications |
|---|---|
| Main Authors: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7206634/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-40608-0_10 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|