- -

Listar por autor "Brattka, Vasco"

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

Listar por autor "Brattka, Vasco"

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 ...