Arithmetic complexity via effective names for random Sequences - Kjos-Hanssen, Bjørn; Stephan, Frank; Teutsch, Jason (ACM transactions on computational logic, 2012)
Gesehen am 04.02.2019