Linearity and Unprovability of Set Union Problem Strategies (Q4339001)
From MaRDI portal
scientific article; zbMATH DE number 1016828
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linearity and Unprovability of Set Union Problem Strategies |
scientific article; zbMATH DE number 1016828 |
Statements
Linearity and Unprovability of Set Union Problem Strategies (English)
0 references
4 June 1997
0 references
strong postorder path compression systems
0 references
