Complexity analysis of term rewriting based on matrix and context dependent interpretations (0)

by G Moser, A Schnabl, J Waldmann
Venue:Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl (2008