Complexity Classes and Rewrite Systems with Polynomial Interpretation.

Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hlne Touzet

Browse the full CSL paper archive.