Real-time, constant-space, constant-randomness verifiers

M. Utkan Gezer, Ă–zdeniz Dolu, Nevzat Ersoy, A. C. Cem Say. Real-time, constant-space, constant-randomness verifiers. Theoretical Computer Science, 976:114155, October 2023. [doi]

Abstract

Abstract is missing.