Login / Signup
Benoît Guillemet
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Genetic Programming
Np Hard
Diagrammatic Reasoning
Structural Analysis
Top Venues
CoRR
FSCD
</>
Publications
</>
Benoît Guillemet
,
Assia Mahboubi
,
Matthieu Piquerez
Machine-Checked Categorical Diagrammatic Reasoning.
CoRR
(2024)
Benoît Guillemet
,
Assia Mahboubi
,
Matthieu Piquerez
Machine-Checked Categorical Diagrammatic Reasoning.
FSCD
(2024)