Related Tags
decidability × 57computability × 18
fl.formal-languages × 10
context-free × 9
undecidability × 9
turing-machines × 7
reference-request × 5
lo.logic × 5
automata-theory × 5
cc.complexity-theory × 4
pl.programming-languages × 3
halting-problem × 3
complexity-classes × 2
type-theory × 2
np × 2
regular-language × 2
oracles × 2
model-theory × 2
enumeration × 2
graph-theory × 1
co.combinatorics × 1
np-hardness × 1
time-complexity × 1
sat × 1
lower-bounds × 1
