Network profile

Bjørn Kjos-Hanssen ♦

Badges

2

21

37

Newest

Yearling

Next badge

460/600

Impact

39 posts edited

0 helpful flags

649 votes cast

3 Earned bounties for 150 reputation

Active Offered Earned

1

5

votes

1

answer

188

views

+25

Confusion about a formal definition of PRAM consistency

pl.programming-languages dc.distributed-comp dc.parallel-comp concurrency formal-methods

Aug 25 '18 at 7:05 hengxin 2,289

0

votes

1

answer

191

views

+25

Visualizing the parse structure of a range concatenation grammar

fl.formal-languages

Jan 2 '18 at 6:43 Bjørn Kjos-Hanssen♦ 4,273

2

6

votes

1

answer

260

views

+100

Expected Kolmogorov complexity under Kolmogorov complexity distribution

pr.probability kolmogorov-complexity

Nov 12 '16 at 3:20 Saram Meti 111

Theoretical Computer Science Stack Exchange works best with JavaScript enabled