Related Tags
descriptive-complexity × 37complexity-theory × 14
first-order-logic × 7
logic × 5
kolmogorov-complexity × 5
formal-languages × 4
finite-model-theory × 4
turing-machines × 3
regular-languages × 3
automata × 3
finite-automata × 3
database-theory × 3
computability × 2
complexity-classes × 2
information-theory × 2
graphs × 1
time-complexity × 1
np-complete × 1
terminology × 1
reference-request × 1
programming-languages × 1
undecidability × 1
proof-techniques × 1
decision-problem × 1
space-complexity × 1