# 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