search result

Cover von Computability on subsets of metric spaces

Computability on subsets of metric spaces

article
Year: 2003
Media group: ARTICLE
Cover von Recursive quasi-metric spaces

Recursive quasi-metric spaces

article
Year: 2003
Media group: ARTICLE
Cover von Logic, Computation, Hierarchies
Search for this author
Year: 2014
Publisher: Berlin, de Gruyter
Series: Ontos Mathematical Logic; 4
Media group: MONOGRAPHIE
Cover von Handbook of Computability and Complexity in Analysis
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Theory and Applications of Computability
Media group: MONOGRAPHIE
Cover von Monte Carlo Computability

Monte Carlo Computability

Year: 2017
Media group: LIPIcs
Cover von Weihrauch Degrees, Omniscience Principles and Weak Computability

Weihrauch Degrees, Omniscience Principles and Weak Computability

Year: 2009
Media group: ARTICLE
Cover von Effective Choice and Boundedness Principles in Computable Analysis

Effective Choice and Boundedness Principles in Computable Analysis

Year: 2009
Media group: ARTICLE
Cover von Topological properties of real number representations

Topological properties of real number representations

article
Author: Brattka, Vasco; Hertling, Peter
Year: 2002
Media group: ARTICLE
Cover von Computability and complexity in analysis
4th international workshop, Swansea, UK, September 17 - 19, 2000, selected papers
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2064
Media group: MONOGRAPHIE
Cover von Measuring the Complexity of Computational Content; 9
pp. 77-104
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0