Computer Science
Profile Activity
Meta user
Network profile
2,117
reputation
15
24

Daniil

Apparently, this user prefers to keep an air of mystery about them.

7
answers
6
questions
~82k
people reached
  • Moscau
  • Member for 8 years, 6 months
  • 149 profile views
  • Last seen Jun 28 '17 at 14:36

Communities (10)

Top network posts

Top tags (28)

Score 51
Posts 3
Posts % 23
Score 28
Posts 3
Score 10
Posts 2
Score 5
Posts 2
Score 5
Posts 2
Score 0
Posts 3
View all tags →

Top posts (13)

All Questions Answers
Votes Newest
31 Equivalence of Büchi automata and linear $\mu$-calculus Mar 7 '12
30 What does 'true concurrency' mean? May 8 '13
25 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
View all questions and answers →

Badges (39)

Gold

—

Silver

15

Rarest

Bronze

24

Rarest

View all badges →