- Computer Science 2.1k 2.1k 1313 silver badges2323 bronze badges
- Mathematics 911 911 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
- 30 Equivalence of Büchi automata and linear $\mu$-calculus
- 28 What does 'true concurrency' mean?
- 25 How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
- 24 What are the conditions for a NFA for its equivalent DFA to be maximal in size?
- 22 Dependent types vs refinement types
- 20 Why are there so many programming languages?
- 20 What is MonadBaseControl for?
- View more network posts →