Weihrauch Complexity in Computable Analysis
Weihrauch Complexity in Computable Analysis
复制标题
可计算分析中的 Weihrauch 复杂性
DOI：
10.1007/978-3-030-59234-9_11
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
A. Pauly
中科院分区：
文献类型：
--
作者：
V. Brattka;G. Gherardi;A. Pauly
我们提供了对Weihrauch复杂性及其在可计算分析中的应用的独立介绍。这包括有关某些分类结果的调查以及与其他方法关系的讨论。
We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.
程序、证明、过程
DOI：
10.1007/978-3-642-13962-8_2
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Altenkirch T
通讯作者：
Altenkirch T