The following pages link to Logspace verifiers, NC, and NP (Q6487945):
Displaying 6 items.
- Interactive proof systems and alternating time-space complexity (Q685437) (← links)
- Verifying proofs in constant depth (Q2947574) (← links)
- (Q3026351) (← links)
- Logspace Reducibility: Models and Equivalences (Q4341044) (← links)
- Updateable Inner Product Argument with Logarithmic Verifier and Applications (Q5041169) (← links)
- #NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes (Q5056438) (← links)