Author:
Hirsch Edward A.,Sokolov Dmitry
Funder
Government of the Russian Federation
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference27 articles.
1. Extended locally definable acceptance types (extended abstract);Niedermeier,1993
2. Unambiguous polynomial hierarchies and exponential size;Lange,1994
3. Unambiguous computations and locally definable acceptance types;Niedermeier;Theor. Comput. Sci.,1998
4. Finding irrefutable certificates for S2p via Arthur and Merlin;Chakaravarthy,2008
5. The knowledge complexity of interactive proof systems;Goldwasser;SIAM J. Comput.,1989