Pages that link to "Item:Q1015376"
From MaRDI portal
The following pages link to Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376):
Displaying 4 items.
- Non-determinism in Gödel's system \(T\) (Q693050) (← links)
- Practical synchronization of second-order nonautonomous systems with parameter mismatch and its applications (Q1928998) (← links)
- Computational Complexity Via Finite Types (Q2946764) (← links)
- A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652) (← links)
