Pages that link to "Item:Q2369013"
From MaRDI portal
The following pages link to Computing queries with higher-order logics (Q2369013):
Displaying 5 items.
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- Resource-bounded martingales and computable Dowd-type generic sets (Q2346413) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- The Descriptive Complexity of the Deterministic Exponential Time Hierarchy (Q5179012) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)
