1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2023★ 1 cited
Concurrent Gaussian elimination
Ulrich Berger, Monika Seisenberger, Dieter Spreen +1
Working in a semi-constructive logical system that supports the extraction of concurrent programs, we extract a program inverting non-singular real valued matrices from a construct…
cs.LO2023
How Much Partiality Is Needed for a Theory of Computability?
Dieter Spreen
Partiality is a natural phenomenon in computability that we cannot get around. So, the question is whether we can give the areas where partiality occurs, that is, where non-termina…
math.LO2016
Some results related to the continuity problem
Dieter Spreen
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was s…