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

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