Skip to Main content Skip to Navigation
Conference papers

Second-Order Linear-Time Computability with Applications to Computable Analysis

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-02148490
Contributor : Florian Steinberg <>
Submitted on : Wednesday, June 5, 2019 - 3:24:50 PM
Last modification on : Thursday, July 8, 2021 - 3:46:39 AM

Identifiers

  • HAL Id : hal-02148490, version 1

Citation

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⟩

Share

Metrics

Record views

99