Effective metric spaces and representations of the reals
Theoretical Computer Science
On the computability of Walsh functions
Theoretical Computer Science
Random Numbers and an Incomplete Immune Recursive Set
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
On Computable Metric Spaces Tietze-Urysohn Extension Is Computable
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Standard Representations of Effective Metric Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Effective Fixed Point Theorem over a Non-computably Separable Metric Space
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Theoretical Computer Science - Topology in computer science
Computability on subsets of metric spaces
Theoretical Computer Science - Topology in computer science
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a descriptive set theory for domain-like structures
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Effectivity on Continuous Functions in Topological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Absolutely non-computable predicates and functions in analysis†
Mathematical Structures in Computer Science
On computably locally compact hausdorff spaces
Mathematical Structures in Computer Science
Computability of probability measures and Martin-Löf randomness over metric spaces
Information and Computation
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
Information and Computation
An Algorithm for Computing Fundamental Solutions
Electronic Notes in Theoretical Computer Science (ENTCS)
Effective Dini's Theorem on Effectively Compact Metric Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Computability on subsets of locally compact spaces
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Absolutely non-effective predicates and functions in computable analysis
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
A computable version of dini's theorem for topological spaces
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Hi-index | 5.23 |