Computer Science
Meta user
Network profile
1,452
reputation
13
23

Daniil

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

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

Communities (10)

Top network posts

Top tags (28)

Score 50
Posts 3
Posts % 23
Score 27
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

29 Equivalence of Büchi automata and linear $\mu$-calculus Mar 7 '12
27 What does 'true concurrency' mean? May 8 '13
23 What are the conditions for a NFA for its equivalent DFA to be maximal in size? Mar 8 '12
22 Dependent types vs refinement types Feb 18 '14
20 Why are there so many programming languages? Mar 17 '12
18 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 (36)

Gold

—

Silver

13

Rarest

Bronze

23

Rarest

View all badges →