TY  - RPRT
TI  - Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
AU  - Armin Walch
AU  - Georg Moser
AU  - Berry Schoenmakers
AU  - Florian Zuleger
PY  - 2026
UR  - https://arxiv.org/abs/2605.12091
ID  - 2605.12091
ER  -