Information Processing Letters · 1998 · 84 citations · 12 references
ComputingCommunicationComputer ScienceAlgorithmsFormal MethodsTheory Of ComputationCommunication ComplexityComputational ComplexityInteractive Proof SystemsProof CommunicationProof ComplexityTheorem ProvingCommunication Complexity Lower BoundsInteractive Proof Complexity ClassesProof Veritability
12