Nondeterministic Instance Complexity and Hard-to-Prove Tautologies
Lecture notes in computer science. Bd. 1770. Berlin: Springer 2000 S. 314 - 323
Erscheinungsjahr: 2000
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
Autoren
Arvind, Vikraman (Autor)
Köbler, Johannes (Autor)
Torán, Jacobo (Autor)
