Formal proof of polynomial-time complexity with quasi-interpretations

Hugo Férée, Samuel Hym, Micaela Mayero, Jean Yves Moyen, David Nowak

1 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal proof of polynomial-time complexity with quasi-interpretations'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab