Pages that link to "Item:Q5504578"
From MaRDI portal
The following pages link to The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578):
Displaying 4 items.
- Relational Complexity and Higher Order Logics (Q2807086) (← links)
- Enumeration complexity of logical query problems with second-order variables (Q2915682) (← links)
- SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy (Q3224003) (← links)
- Semantic Restrictions over Second-Order Logic (Q3458159) (← links)