Tractable and intractable second-order matching problems (Q2643530)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tractable and intractable second-order matching problems |
scientific article |
Statements
Tractable and intractable second-order matching problems (English)
0 references
24 August 2007
0 references
second-order matching problem
0 references
second-order unification problem
0 references
computational complexity
0 references
0 references
