On the computability of Walsh functions
Theoretical Computer Science
Computable Versions of Baire's Category Theorem
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Random Numbers and an Incomplete Immune Recursive Set
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Inversion Problem for Computable Linear Operators
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
On Computable Metric Spaces Tietze-Urysohn Extension Is Computable
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Effective Contraction Theorem and Its Application
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Computabilities of Fine-Continuous Functions
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Some Properties of the Effective Uniform Topological 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)
Effectivity on Continuous Functions in Topological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
On computably locally compact hausdorff spaces
Mathematical Structures in Computer Science
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
Theoretical Computer Science
Computability of probability measures and Martin-Löf randomness over metric spaces
Information and Computation
An Application of Martin-Löf Randomness to Effective Probability Theory
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
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
Noise vs computational intractability in dynamics
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
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 | 0.00 |