Antonín Kučera
Author
Institution Charles University
Past institutions Charles University, Masaryk University, Alliance for Safe Kids
ORCID: Yes
H-index: 14
I10-index: 15
Works count: 41
Citations count: 773
Measure, Π 1 0 -classes and complete extensions of PA
1985 · Antonín Kučera · Lecture notes in mathematics
Randomness and Recursive Enumerability
2001 · Antonín Kučera, Theodore A. Slaman · SIAM Journal on Computing
Mathematical Foundations of Computer Science 2010
2010 · Petr Hliněný, Antonín Kučera · Lecture notes in computer science