Recursion and topology on 2≤ω for possibly infinite computations

Mostrar todas las versiones(3)

Fil:Becher, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.

Guardado en:
Detalles Bibliográficos
Autores principales: Becher, V., Grigorieff, S.
Formato: Artículo publishedVersion
Publicado: 2004
Materias:
Computer science
Problem solving
Set theory
Theorem proving
Topology
Turing machines
Computable maps
Infinite words
Metric spaces
Computability and decidability
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03043975_v322_n1SPECISS_p85_Becher
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_03043975_v322_n1SPECISS_p85_Becher_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares