1 citations · 1 across the 1 of their papers we have counts for
1 paper
M. Utkan Gezer, Özdeniz Dolu, Nevzat Ersoy +1
We study the class of languages that have membership proofs which can be verified by real-time finite-state machines using only a constant number of random bits, regardless of the…