Formal proof of polynomial-time complexity ...

Type de document :
Communication dans un congrès avec actes
DOI :
10.1145/3167097
Titre :
Formal proof of polynomial-time complexity with quasi-interpretations
Auteur(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]
Titre de la manifestation scientifique :
7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018
Ville :
Los Angeles
Pays :
Etats-Unis d'Amérique
Date de début de la manifestation scientifique :
2018-01-08
Discipline(s) HAL :
Informatique [cs]/Logique en informatique [cs.LO]
Informatique [cs]/Complexité [cs.CC]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Projet ANR :
Élargir les idées logiques pour l'analyse de complexité
Collections :
Source :
Harvested from HAL