- 1
SR
Simon Robillard
1
Documents
Identifiants chercheurs
simon-robillard-
0000-0003-4751-380X
Présentation
<https://simon-robillard.net/publications.html>
Publications
- 1
- 1
- 1
- 1
|
|
Superposition with Datatypes and CodatatypesIJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01904588v1
|