User Daniil - Computer Science Stack Exchange

Daniil

Member for 10 years, 3 months
Last seen more than 5 years ago

Moscau

Stats

2,147

reputation

93k

reached

7

answers

6

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

17

silver badges

Beta

Mar 20, 2012
Taxonomist

Jul 17, 2012
Good Question

× 3

May 24, 2020

24

bronze badges

Tag Editor

Mar 14, 2012
Talkative

Mar 14, 2012
Organizer

Mar 26, 2013

Top tags

programming-languages

51

Score

3

Posts

23

Posts %

terminology

28

Score

3

Posts

23

Posts %

logic

10

Score

2

Posts

15

Posts %

computability

5

Score

2

Posts

15

Posts %

reference-request

5

Score

2

Posts

15

Posts %

automata

0

Score

3

Posts

23

Posts %

Top posts

View all questions and answers

All Questions Answers

Score Newest

32

Equivalence of Büchi automata and linear $\mu$-calculus

Mar 7, 2012

31

What does 'true concurrency' mean?

May 8, 2013

26

What are the conditions for a NFA for its equivalent DFA to be maximal in size?

Mar 8, 2012

23

Dependent types vs refinement types

Feb 18, 2014

20

Why are there so many programming languages?

Mar 17, 2012

19

Is this language defined using twin primes regular?

Mar 14, 2012

11

Is it possible to derive a string in this rewriting system?

Mar 16, 2012

10

Learning Automated Theorem Proving

Mar 31, 2012

8

What are examples of inconsistency and incompleteness in Unix/C?

Apr 15, 2012

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

28

How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?

21

What is MonadBaseControl for?

17

Examples of categories where epimorphism does not have a right inverse, not surjective

13

Does Data.ByteString.readFile block all threads?

13

Can someone please explain 3-CNF for me?