Function spaces for second-order polynomial time

Akitoshi Kawamura, Arno Pauly

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

11 被引用数 (Scopus)

抄録

In the context of second-order polynomial-time computability, we prove that there is no general function space construction. We proceed to identify restrictions on the domain or the codomain that do provide a function space with polynomial-time function evaluation containing all polynomial-time computable functions of that type. As side results we show that a polynomial-time counterpart to admissibility of a representation is not a suitable criterion for natural representations, and that the Weihrauch degrees embed into the polynomial-time Weihrauch degrees.

本文言語英語
ホスト出版物のタイトルLanguage, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Proceedings
出版社Springer Verlag
ページ245-254
ページ数10
ISBN(印刷版)9783319080185
DOI
出版ステータス出版済み - 2014
イベント10th Conference on Computability in Europe, CiE 2014 - Budapest, ハンガリー
継続期間: 6 23 20146 27 2014

出版物シリーズ

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

その他

その他10th Conference on Computability in Europe, CiE 2014
Countryハンガリー
CityBudapest
Period6/23/146/27/14

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Function spaces for second-order polynomial time」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル