Formal proof of polynomial-time complexity with quasi-interpretations.

Hugo Fre, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak

Browse the full CPP paper archive.