197 citations · 424 across the 13 of their papers we have counts for
1 paper · 1 filter
Cristian S. Calude, Damien Desfontaines
We present and study new definitions of universal and programmable universal unary functions and consider a new simplicity criterion: almost decidability of the halting set. A set…