The following pages link to (Q3794168):
Displaying 5 items.
- Exotic quantifiers, complexity classes, and complete problems (Q1022429) (← links)
- Henkin quantifiers and complete problems (Q1088983) (← links)
- Expressive completeness and decidability (Q2277437) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- A remark concerning decidability of complete theories (Q5800816) (← links)