Parameterized Dynamic Tables

Title:	Parameterized Dynamic Tables
Author:	Tobias Nipkow
Submission date:	2015-06-07
Abstract:	This article formalizes the amortized analysis of dynamic tables parameterized with their minimal and maximal load factors and the expansion and contraction factors. A full description is found in a companion paper.
BibTeX:	@article{Dynamic_Tables-AFP, author = {Tobias Nipkow}, title = {Parameterized Dynamic Tables}, journal = {Archive of Formal Proofs}, month = jun, year = 2015, note = {\url{http://isa-afp.org/entries/Dynamic_Tables.html}, Formal proof development}, ISSN = {2150-914x}, }
License:	BSD License
Depends on:	Amortized_Complexity
Status: [ok]	This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.