Fingerprint
Dive into the research topics of 'Formal proof of polynomial-time complexity with quasi-interpretations'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal proof of polynomial-time complexity with quasi-interpretations
Hugo Férée, Samuel Hym, Micaela Mayero, Jean Yves Moyen, David Nowak