Ptime canonization for two variables with counting

Otto, Martin

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

In: 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)/Artikel-Nr.: 342-352

Einrichtungen

  • Fachgruppe Mathematik [110000]
  • Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]

Identifikationsnummern