Skip to content

Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems.

Aart Middeldorp

VenueBLPAR
Year2012
ProceedingsLPAR

Browse the full LPAR paper archive.