15 citations · 29 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Bi-topological spaces and the Continuity Problem
Dieter Spreen
The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator is a function on a space of constructively given objects $…
cs.LO2021
Computing with Infinite Objects: the Gray Code Case
Dieter Spreen, Ulrich Berger
Infinite Gray code has been introduced by Tsuiki as a redundancy-free representation of the reals. In applications the signed digit representation is mostly used which has maximal…