Logspace Verifiers, NC, and NP.

Satyanarayana V. Lokam, Meena Mahajan, V. Vinay

Browse the full ISAAC paper archive.