- Computer Science 2.1k 2.1k 1515 silver badges2424 bronze badges
- Mathematics 971 971 22 gold badges1010 silver badges2222 bronze badges
- Stack Overflow 637 637 44 silver badges1212 bronze badges
- Code Review 261 261 11 silver badge55 bronze badges
- Theoretical Computer Science 213 213 11 silver badge66 bronze badges
- View network profile
Top network posts
- 31 Equivalence of Büchi automata and linear $\mu$-calculus
- 30 What does 'true concurrency' mean?
- 28 How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
- 25 What are the conditions for a NFA for its equivalent DFA to be maximal in size?
- 23 Dependent types vs refinement types
- 20 What is MonadBaseControl for?
- 20 Why are there so many programming languages?
- View more network posts →