Ptime canonization for two variables with counting

Los Alamitos, Calif. [u.a.] / IEEE Computer Society Press (1995) [Beitrag zu einem Tagungsband]

Proceedings / Tenth Annual IEEE Symposium on Logic in Computer Science, June 26 - 29, 1995, San Diego, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. Ed. by Dexter Kozen
Seite(n): 342-352

Autorinnen und Autoren

Autorinnen und Autoren

Otto, Martin

Identifikationsnummern