Skip to main content
Marcin Kotowski's user avatar
Marcin Kotowski's user avatar
Marcin Kotowski's user avatar
Marcin Kotowski
  • Member for 13 years, 5 months
  • Last seen more than a month ago
7 votes

What kind of mathematical background is needed for complexity theory?

6 votes

Small steps for better TCS conferences?

3 votes

Does there exist a quantum algorithm ala Deutsch's algorithm that computs AND instead of XOR?

10 votes
Accepted

On the relation for the Myhill-Nerode theorem/syntactic monoid of a language

7 votes

What's the point of $\eta$-conversion in lambda calculus?

17 votes
Accepted

Drunken birds vs drunken ants: random walks between two and three dimensions

11 votes

Nonlocal Games and Quantum Communication

6 votes
Accepted

Quantum Bell-Type Inequalities

14 votes

How would I go about learning the underlying theory of the Coq proof assistant?

2 votes

What is an accessible introduction to Percolation Theory?