Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 1.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000229 | Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne] | Nondeterministic Instance Complexity and Hard-to-Prove Tautologies |
| This area was generated with Dilib version V0.6.31. |  |