The following pages link to (Q4263808):
Displaying 5 items.
- AM\(_{\text{exp}}\nsubseteq (\text{NP} \cap \text{coNP})\)/poly (Q1029043) (← links)
- On subsumption in distributed derivations (Q1337562) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418) (← links)
- Complexity of terms, composition, and hypersubstitution (Q1864336) (← links)