Pages that link to "Item:Q1054720"
From MaRDI portal
The following pages link to \(\Sigma_ 1^ 1\)-formulae on finite structures (Q1054720):
Displaying 8 items.
- Is it possible to improve Yao's XOR lemma using reductions that exploit the efficiency of their oracle? (Q6113106) (← links)
- (Q6138066) (← links)
- Constructive separations and their consequences (Q6566463) (← links)
- Circuit complexity before the dawn of the new millennium (Q6567750) (← links)
- Fine-grained polynomial functional encryption (Q6593672) (← links)
- Complexity barriers as independence (Q6599290) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- Localizability of the approximation method (Q6624428) (← links)