List Update Algorithms

MaRDI QIDQ40503swMATHFDO

Authors Maximilian P. L. Haslbeck, Tobias Nipkow

Publication date 17 February 2016

Official website https://www.isa-afp.org/entries/List_Update.html

Cites work

• Unnamed Publication
• Verified analysis of list update algorithms

Cited in

(1)

• Verified analysis of list update algorithms

This page was built for software: List Update Algorithms