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):
Displaying 9 items.
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- How to deal with unbelievable assertions (Q524943) (← links)
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- Some consequences of cryptographical conjectures for \(S_2^1\) and EF (Q1383164) (← links)
- On propositional definability (Q2389643) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- On the computational content of intuitionistic propositional proofs (Q5940143) (← links)
