Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Also new in the AFP: Skip Lists

view this post on Zulip Email Gateway (Aug 22 2022 at 21:13):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce another new entry, Skip Lists, by Max W. Haslbeck and Manuel Eberl. Abstract:

I’m particularly impressed because I took a look at this tricky data structure myself several years ago, and couldn’t get my head around it at all. And here we have even a probabilistic analysis!

https://www.isa-afp.org/entries/Skip_Lists.html

Larry

Last updated: Nov 21 2024 at 12:39 UTC