Joint Spectral Radius Theory
for Automated Complexity Analysis of Rewrite Systems

Joint Spectral Radius Theory
for Automated Complexity Analysis of Rewrite Systems

This page contains experiments.