computer-science
an archive of posts with this tag
| Jul 25, 2024 | arrow's, may's, and the gibbard-satterthwaite theorems |
|---|---|
| Jul 22, 2024 | descriptive complexity theory: motivation & fagin's theorem |
| Jul 22, 2024 | an introduction to computational complexity theory |