Pages that link to "Item:Q1076669"
From MaRDI portal
The following pages link to Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity (Q1076669):
Displayed 3 items.
- Some consequences of cryptographical conjectures for \(S_2^1\) and EF (Q1383164) (← links)
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049) (← links)
- On the computational content of intuitionistic propositional proofs (Q5940143) (← links)