Badge
| Nice Answer | Answer score of 10 or more. This badge can be awarded multiple times. |
Emil Jeřábek earned this badge 9 times |
apr 1 at 12:56
Proofs in $S_{2}^{1}$
mar 13 at 16:17
About Closure under Resolution
feb 26 at 17:33
How can we express “$P=PSPACE$” as a first-order formula?
sep 22 at 13:59
Polynomial-time algorithms with huge exponent/constant
may 6 '12 at 21:16
Why valuations when defining FOL?
dec 10 '11 at 21:06
Computing the Mobius function
oct 27 '11 at 13:22
Why are regular languages called “regular”?
