DOIAbstract
AbstractWe study the relationship between a computably enumerable real and its presentations: ways of approximating the real by enumerating a prefix-free set of binary strings
AbstractWe study the relationship between a computably enumerable real and its presentations: ways of approximating the real by enumerating a prefix-free set of binary strings
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
AbstractWe study the relationship between a computably enumerable real and its presentations: ways o...
Abstract. We study the approximation properties of computably enumerable reals. We deal with a natur...
The goal of enumerative combinatorics is to count the number of some well described objects. We exte...
Abstract. Computably enumerable algebras are the ones whose positive atomic diagrams are computably ...
Abstract. Computably enumerable algebras are the ones whose positive atomic di-agrams are computably...
A real is computable if it is the limit of a computable, increasing, computably converging sequence ...
In mathematics, various representations of real numbers have been investigated and all these represe...
The aim of this thesis is to contribute to close the gap existing between the theory of computable a...
A widely used approach to computability of real functions is the one in Grze-gorczyk’s style origina...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
AbstractBased on standard notions of classical recursion theory, a natural model of approximate comp...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
AbstractWe study the relationship between a computably enumerable real and its presentations: ways o...
Abstract. We study the approximation properties of computably enumerable reals. We deal with a natur...
The goal of enumerative combinatorics is to count the number of some well described objects. We exte...
Abstract. Computably enumerable algebras are the ones whose positive atomic diagrams are computably ...
Abstract. Computably enumerable algebras are the ones whose positive atomic di-agrams are computably...
A real is computable if it is the limit of a computable, increasing, computably converging sequence ...
In mathematics, various representations of real numbers have been investigated and all these represe...
The aim of this thesis is to contribute to close the gap existing between the theory of computable a...
A widely used approach to computability of real functions is the one in Grze-gorczyk’s style origina...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
AbstractBased on standard notions of classical recursion theory, a natural model of approximate comp...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
In this paper we will discuss various aspects of computable/constructive analysis, namely semantics,...
Add to ORKG