Sign in

Type-based analysis of logarithmic amortised complexity.

Martin HofmannLorenz LeutgebDavid ObwallerGeorg MoserFlorian Zuleger
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases
  • worst case
  • quantitative analysis
  • computational complexity
  • data sets
  • software engineering
  • databases
  • neural network
  • web pages
  • data analysis
  • trade off
  • complexity analysis