Computer Science
Daniil's user avatar
Daniil's user avatar
Daniil's user avatar
Daniil
  • Member for 11 years, 9 months
  • Last seen more than 6 years ago
  • Moscau
Profile Activity
Stats
2,167
reputation
99k
reached
7
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
18
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
Score Newest
question
33
Equivalence of Büchi automata and linear $\mu$-calculus
Mar 7, 2012
question
32
What does 'true concurrency' mean?
May 8, 2013
question
26
What are the conditions for a NFA for its equivalent DFA to be maximal in size?
Mar 8, 2012
answer
23
Dependent types vs refinement types
Feb 18, 2014
answer
20
Why are there so many programming languages?
Mar 17, 2012
question
19
Is this language defined using twin primes regular?
Mar 14, 2012
question
11
Is it possible to derive a string in this rewriting system?
Mar 16, 2012
answer
10
Learning Automated Theorem Proving
Mar 31, 2012
answer
8
What are examples of inconsistency and incompleteness in Unix/C?
Apr 15, 2012
answer
7
List of intro TCS books for those who don't know much about TCS
Mar 17, 2012
Top network posts
View all network posts
33
How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
21
What is MonadBaseControl for?
19
Examples of categories where epimorphism does not have a right inverse, not surjective
15
Can someone please explain 3-CNF for me?
14
LL(1) tokenizer for LISP

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.