Pages that link to "Item:Q4217552"
From MaRDI portal
The following pages link to A model theoretic proof of a subexponential time witnessing theorem (Q4217552):
Displaying 4 items.
- Bootstrapping. I (Q636291) (← links)
- A purely model-theoretic proof of the exponential succinctness gap between CTL\(^{+}\) and CTL (Q975478) (← links)
- \(BPP\) has subexponential time simulations unless \(EXPTIME\) has publishable proofs (Q1321029) (← links)
- A model of \(\widehat{R}^2_3\) inside a subexponential time resource (Q5937822) (← links)