Pages that link to "Item:Q1412837"
From MaRDI portal
The following pages link to A second-order system for polytime reasoning based on Grädel's theorem. (Q1412837):
Displaying 4 items.
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
- Complexity barriers as independence (Q6599290) (← links)