Real-Time, Constant-Space, Constant-Randomness Verifiers

Dolu, O; Ersoy, N; Gezer, MU; Say, ACC

Gezer, MU (通讯作者),Bogazici Univ, Dept Comp Engn, TR-34342 Istanbul, Turkey.

IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022), 2022; 13266 (): 212