25 citations · 65 across the 16 of their papers we have counts for
1 paper · 1 filter
Aliya Khadieva, Abuzer Yakaryılmaz
We initiate the study of the verification power of AfAs as part of Arthur-Merlin (AM) proof systems. We show that every unary language is verified by a real-valued AfA verifier. Th…