- -

Listar por palabra clave "Computable functional analysis"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Computable functional analysis"

Ordenar por:Orden:Resultados:

  • thumb
    Effective representations of the space of linear bounded operators 
    Brattka, Vasco (Universitat Politècnica de València, 2003-04-01)
    [EN] Representations of topological spaces by infinite sequences of symbols are used in computable analysis to describe computations in topological spaces with the help of Turing machines. From the computer science point ...