Characterizing strong randomness via Martin-Löf randomness

From MaRDI portal
Publication:409318