Pages that link to "Item:Q4924534"
From MaRDI portal
The following pages link to Expressibility of Higher Order Logics (Q4924534):
Displaying 4 items.
- Computing queries with higher-order logics (Q2369013) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Expressibility of Higher Order Logics (Q4924534) (← links)
- The Descriptive Complexity of the Deterministic Exponential Time Hierarchy (Q5179012) (← links)