Computer Science
Daniil
  • Member for 9 years, 10 months
  • Last seen more than 4 years ago
  • Moscau
Profile Activity
Stats
2,147
reputation
91k
reached
7
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
16
silver badges
24
bronze badges
Top tags
View all tags
51
Score
3
Posts
23
Posts %
28
Score
3
Posts
23
Posts %
10
Score
2
Posts
15
Posts %
5
Score
2
Posts
15
Posts %
5
Score
2
Posts
15
Posts %
0
Score
3
Posts
23
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
32
Equivalence of Büchi automata and linear $\mu$-calculus
Mar 7 '12
31
What does 'true concurrency' mean?
May 8 '13
26
What are the conditions for a NFA for its equivalent DFA to be maximal in size?
Mar 8 '12
23
Dependent types vs refinement types
Feb 18 '14
20
Why are there so many programming languages?
Mar 17 '12
19
Is this language defined using twin primes regular?
Mar 14 '12
11
Is it possible to derive a string in this rewriting system?
Mar 16 '12
10
Learning Automated Theorem Proving
Mar 31 '12
8
What are examples of inconsistency and incompleteness in Unix/C?
Apr 15 '12
7
List of intro TCS books for those who don't know much about TCS
Mar 17 '12
Top network posts
View all network posts
28
How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
21
What is MonadBaseControl for?
18
Examples of categories where epimorphism does not have a right inverse, not surjective
13
Does Data.ByteString.readFile block all threads?
12
Can someone please explain 3-CNF for me?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.