Verified Analysis of List Update Algorithms. (Q4636599)
From MaRDI portal
scientific article; zbMATH DE number 6862077
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified Analysis of List Update Algorithms. |
scientific article; zbMATH DE number 6862077 |
Statements
19 April 2018
0 references
program verification
0 references
algorithm analysis
0 references
online algorithms
0 references
Verified Analysis of List Update Algorithms. (English)
0 references
