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

Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say. Real-Time, Constant-Space, Constant-Randomness Verifiers. In Pascal Caron, Ludovic Mignot, editors, Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings. Volume 13266 of Lecture Notes in Computer Science, pages 212-224, Springer, 2022. [doi]

Authors

Özdeniz Dolu

This author has not been identified. Look up 'Özdeniz Dolu' in Google

Nevzat Ersoy

This author has not been identified. Look up 'Nevzat Ersoy' in Google

M. Utkan Gezer

This author has not been identified. Look up 'M. Utkan Gezer' in Google

A. C. Cem Say

This author has not been identified. Look up 'A. C. Cem Say' in Google