A carregar...
On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
The present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results and open problems are also included.
Na minha lista:
| Publicado no: | Beyond the Horizon of Computability |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7309512/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51466-2_11 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|