scientific article; zbMATH DE number 2119640
From MaRDI portal
Publication:4828911
zbMath1093.68577MaRDI QIDQ4828911
Haim Kaplan, Nira Shafrir, Robert Endre Tarjan
Publication date: 29 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation ⋮ A simple and efficient union-find-delete algorithm ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
This page was built for publication:
