Login / Signup

Multivariate Amortised Resource Analysis for Term Rewrite Systems.

Martin HofmannGeorg Moser
Published in: TLCA (2015)
Keyphrases
  • statistical analysis
  • database
  • sliding window