Second-order linear-time computability with applications to computable analysis

DOI10.1007/978-3-030-14812-6_21OpenAlexW2937745356MaRDI QIDQ2327485

Florian Steinberg, Holger Thies, Akitoshi Kawamura

Publication date: 15 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-14812-6_21

zbMATH Keywords

computational complexitylinear timecomputable analysis

Mathematics Subject Classification ID

Related Items (2)

Unnamed Item ⋮ Quantitative continuity and Computable Analysis in Coq

This page was built for publication: Second-order linear-time computability with applications to computable analysis