Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
1,452
reputation
12
23

Daniil

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

7
answers
6
questions
~72k
people reached
  • Moscau
  • Member for 7 years, 2 months
  • 125 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 (35)

Gold

—

Silver

12

Rarest

Bronze

23

Rarest

View all badges →