Apparently, this user prefers to keep an air of mystery about them.
7 Generating a set of minimal-length strings that, together, invoke every production of a context free language Jul 8 '14
6 Deciding the set of all Turing machines that halt in at most $k|x|$ steps $\forall x \in \Sigma^*$ Apr 16 '14
5 How to prove that problem is not in P May 22 '14
2 n-Cube as a Cayley Graph Apr 13 '14
1 Video lectures on type systems Jul 21 '14
1 Is it possible to accurately determine the number of instructions required to multiply or add two integers in a modern processor? May 18 '14
0 Is P^SAT subset of sum of NP and co-NP Jun 9 '14