Communication Dans Un Congrès
Année : 2019
Florian Steinberg : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02148490
Soumis le : mercredi 5 juin 2019-15:24:50
Dernière modification le : jeudi 28 novembre 2024-15:42:02
Dates et versions
Identifiants
- HAL Id : hal-02148490 , version 1
Citer
Akitoshi Kawamura, Florian Steinberg, Holger Thies. Second-Order Linear-Time Computability with Applications to Computable Analysis. TAMC 2019 - 15th Annual Conference Theory and Applications of Models of Computation, Apr 2019, Tokyo, Japan. pp.337-358. ⟨hal-02148490⟩
Collections
70
Consultations
0
Téléchargements