The following pages link to (Q4717945):
Displaying 5 items.
- Exotic quantifiers, complexity classes, and complete problems (Q1022429) (← links)
- Counting problems over the reals (Q1575534) (← links)
- A note on non-complete problems in \(NP_\mathbb{R}\) (Q1977151) (← links)
- Logics which capture complexity classes over the reals (Q5055931) (← links)
- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic (Q5928867) (← links)
