Muchnik degrees and cardinal characteristics. (English) Zbl 1485.03160
Reviewer: Jamalbek Tussupov (Astana)
Found 9 Documents (Results 1–9)
Genericity and randomness with ITTMs. (English) Zbl 1451.03025
Reviewer: Liang Yu (Nanjing)
Another characterization of the higher K-trivials. (English) Zbl 1441.03029
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 34, 13 p. (2017).
Higher randomness and genericity. (English) Zbl 1385.03042
Reviewer: Roman Murawski (Poznań)
Continuous higher randomness. (English) Zbl 1420.03100
A unifying approach to the Gamma question. (English) Zbl 1395.03019
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 585-596 (2015).
Von Neumann’s biased coin revisited. (English) Zbl 1364.03059
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 145-154 (2012).
MSC:
03D32
Filter Results by …
Document Type
- Journal Articles (6)
- Collection Articles (3)
all
top 5
Author
- Monin, Benoît (9)
- Greenberg, Noam (3)
- Bienvenu, Laurent (2)
- d’Auriac, Paul-Elliot Anglès (2)
- Nies, André Otfrid (2)
- Miller, Joseph S. (1)
- Turetsky, Daniel D. (1)
Serial
- J. Symb. Log. (2)
- Notre Dame J. Formal Logic (1)
- Theory Comput. Syst. (1)
- J. Math. Log. (1)
- Forum Math. Sigma (1)
