Amortized complexity verified
From MaRDI portal
Publication:670702
DOI10.1007/s10817-018-9459-3zbMath1465.68060MaRDI QIDQ670702
Publication date: 20 March 2019
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-018-9459-3
68N18: Functional programming and lambda calculus
68P05: Data structures
68V20: Formalization of mathematics in connection with theorem provers
Uses Software