lo.logic automata-theory regular-language nondeterminism finite-model-theory asked Mar 30 '11 at 23:38

cc.complexity-theory reference-request space-bounded alternating-hierarchy asked Aug 23 '10 at 5:26

cc.complexity-theory conditional-results descriptive-complexity alternating-hierarchy asked Aug 24 '10 at 2:39

reference-request lo.logic computability finite-model-theory asked Apr 13 '11 at 15:37

cc.complexity-theory lo.logic circuit-complexity descriptive-complexity finite-model-theory asked Jul 22 '12 at 19:40

cc.complexity-theory descriptive-complexity finite-model-theory asked Nov 28 '10 at 12:04