Nonconstructive tools for proving polynomial-time decidability (Q3798236)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonconstructive tools for proving polynomial-time decidability |
scientific article |
Statements
Nonconstructive tools for proving polynomial-time decidability (English)
0 references
1988
0 references
graph minors
0 references
nonconstructive proofs
0 references
polynomial-time complexity
0 references
well- partial orders
0 references
