The complexity of verification.

Autor: Kurshan, R. P.
Zdroj: Proceedings of the Twenty-Sixth Annual ACM Symposium: Theory of Computing; 5/23/1994, p365-371, 7p
Databáze: Complementary Index