Accéder directement au contenu

Emmanuel Hainry

2
Documents
Affiliations actuelles
  • 529408
  • 413289
  • 206040
Identifiants chercheurs

Publications

mathieu-hoyrup
Image document

Interpretation of stream programs: characterizing type 2 polynomial time complexity

Hugo Férée , Emmanuel Hainry , Mathieu Hoyrup , Romain Péchoux
21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
Communication dans un congrès inria-00518381v1