Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation (Q2945628)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation |
scientific article |
Statements
Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation (English)
0 references
14 September 2015
0 references
