Levin, Leonid A
163  Ergebnisse:
Personensuche X
?
1

Invited Paper: How Do Humans Succeed in Tasks Like Proving ..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Levin, Leonid A. - p. 513-517 , 2023
 
?
2

Gacs – Kucera theorem:

Levin, Leonid A.
Theoretical Computer Science.  929 (2022)  - p. 172-173 , 2022
 
?
4

Climbing algorithms (invited talk):

, In: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing,
Levin, Leonid A. - p. 2-3 , 2021
 
?
5

Comparative pathological characteristics of papillary thyro..:

Fridman, Mikhail ; Krasko, Olga ; Levin, Leonid..
Pathology - Research and Practice.  228 (2021)  - p. 153658 , 2021
 
?
6

An Average Case NP-complete Graph Colouring Problem:

LEVIN, LEONID A. ; VENKATESAN, RAMARATHNAM
Combinatorics, Probability and Computing.  27 (2018)  5 - p. 808-828 , 2018
 
?
8

Occam bound on lowest complexity of elements:

Levin, Leonid A.
Annals of Pure and Applied Logic.  167 (2016)  10 - p. 897-900 , 2016
 
?
9

Forbidden information:

Levin, Leonid A.
Journal of the ACM (JACM).  60 (2013)  2 - p. 1-9 , 2013
 
?
10

Forbidden information:

Levin, Leonid A.
Journal of the ACM.  60 (2013)  2 - p. 1-9 , 2013
 
?
11

Turing's Password : What Internet Cannot Leak:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
Levin, Leonid A. - p. 11 ff. , 2012
 
?
12

Some theorems on the algorithmic approach to probability th..:

Levin, Leonid A.
Annals of Pure and Applied Logic.  162 (2010)  3 - p. 224-235 , 2010
 
?
13

Complex Tilings:

Durand, Bruno ; Levin, Leonid A. ; shen, Alexander
The Journal of Symbolic Logic.  73 (2008)  2 - p. 593-613 , 2008
 
?
14

Thin Ice:

Levin, Leonid ; Tait, Arch
Index on Censorship.  37 (2008)  1 - p. 146-148 , 2008
 
?
15

Aperiodic Tilings: Breaking Translational Symmetry:

Levin, Leonid A.
The Computer Journal.  48 (2005)  6 - p. 642-645 , 2005
 
1-15
Mehr Literatur finden