home > events > isr19 > index

Automated Complexity Analysis of Term Rewrite Systems

On this page you find the lecture notes of the ISR advanced track lecture on automated complexity analysis. The lecture is divided into two parts:

  1. In the first lecture, basic concepts and main techniques for reasoning about the complexity of term rewrite systems are introduced. slides lecture 1

  2. In this second lecture, we turn our attention to modularity, automation and applications slides lecture 2

If you have any questions, please feel free to contact me by email.