Formal proof of polynomial-time complexity ...

Document type :
Communication dans un congrès avec actes
DOI :
10.1145/3167097
Title :
Formal proof of polynomial-time complexity with quasi-interpretations
Author(s) :
Férée, Hugo [Auteur]
University of Kent [Canterbury]
Hym, Samuel [Auteur] refId
Extra Small Extra Safe [2XS]
Mayero, Micaela [Auteur]
Laboratoire d'Informatique de Paris-Nord [LIPN]
Moyen, Jean-Yves [Auteur]
University of Copenhagen = Københavns Universitet [UCPH]
Nowak, David [Auteur] refId
Extra Small Extra Safe [2XS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Conference title :
7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018
City :
Los Angeles
Country :
Etats-Unis d'Amérique
Start date of the conference :
2018-01-08
HAL domain(s) :
Informatique [cs]/Logique en informatique [cs.LO]
Informatique [cs]/Complexité [cs.CC]
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
ANR Project :
Élargir les idées logiques pour l'analyse de complexité
Collections :
Source :
Harvested from HAL