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

Akitoshi Kawamura, Florian Steinberg, Holger Thies

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抜粋

In this work we put forward a complexity class of type-two linear-time. For such a definition to be meaningful, a detailed protocol for the cost of interactions with functional inputs has to be fixed. This includes some design decisions the defined class is sensible to and we carefully discuss our choices and their implications. We further discuss some properties and examples of operators that are and are not computable in linear-time and nearly linear-time and some applications to computable analysis.

元の言語英語
ホスト出版物のタイトルTheory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings
編集者Junzo Watada, T. V. Gopal
出版者Springer Verlag
ページ337-358
ページ数22
ISBN(印刷物)9783030148119
DOI
出版物ステータス出版済み - 1 1 2019
イベント15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019 - Kitakyushu, 日本
継続期間: 4 13 20194 16 2019

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11436 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

会議

会議15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019
日本
Kitakyushu
期間4/13/194/16/19

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント Second-order linear-time computability with applications to computable analysis' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Kawamura, A., Steinberg, F., & Thies, H. (2019). Second-order linear-time computability with applications to computable analysis. : J. Watada, & T. V. Gopal (版), Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings (pp. 337-358). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11436 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-14812-6_21