Emmanuel Hainry
1
Documents
Affiliations actuelles
- 529408
- 413289
- 206040
Identifiants chercheurs
- emmanuel-hainry
- 0000-0002-9750-0460
- IdRef : 114622396
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Complete and tractable machine-independent characterizations of second-order polytimeFoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩
Communication dans un congrès
hal-03722245v1
|