List partitions (Q2366166)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | List partitions |
scientific article |
Statements
List partitions (English)
0 references
29 June 1993
0 references
dynamic programming
0 references
greedy algorithm
0 references
program calculus
0 references
program transformation
0 references
list partitions
0 references
program synthesis
0 references
