Network profile

babou

Reputation

1,492

1.5k
1.4k
1.4k

2018
2019
2020
2021

Top tag

fl.formal-languages

Next privilege

2,000 Rep.

Edit questions and answers

Badges

9

15

Newest

Quorum

Next badge

0/1

Impact

1 post edited

3 helpful flags

51 votes cast

4 Questions

Votes Activity Newest Views

3

16

votes

1

answer

883

views

To what extent can the mathematics of Reals be applied to Computable Reals?

computability computing-over-reals topology model-theory

Aug 12 '14 at 19:52 Andrej Bauer 25.2k

2

10

votes

0

answers

207

views

The halting problem in computational models weaker than Turing machines

computability halting-problem

Jul 30 '15 at 11:54 Community♦ 1

4

votes

0

answers

719

views

Variant of a proof using Ogden's lemma

fl.formal-languages context-free context-free-languages

Jun 12 '13 at 23:01 Community♦ 1

1

3

votes

1

answer

167

views

Upperbound on cardinality of product of two string sets at pairwise Hamming distance $> 1$

co.combinatorics coding-theory upper-bounds

Jun 19 '13 at 15:06 Davide Giraudo 107

Theoretical Computer Science Stack Exchange works best with JavaScript enabled