Related Tags
set-theory × 43cc.complexity-theory × 7
lo.logic × 7
type-theory × 7
reference-request × 5
graph-theory × 5
co.combinatorics × 4
automated-theorem-proving × 4
type-systems × 3
np-hardness × 2
automata-theory × 2
pl.programming-languages × 2
ds.data-structures × 2
ct.category-theory × 2
set-cover × 2
partition-problem × 2
coq × 2
db.databases × 2
extremal-combinatorics × 2
ds.algorithms × 1
approximation-algorithms × 1
fl.formal-languages × 1
optimization × 1
computability × 1
time-complexity × 1