Matthieu Piquerez

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Diagrammatic Reasoning

Classical First Order Logic

Structural Analysis

Top Venues

Publications

Assia Mahboubi, Matthieu Piquerez
A First Order Theory of Diagram Chasing. CSL (2024)
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)
Assia Mahboubi, Matthieu Piquerez
A First Order Theory of Diagram Chasing. CoRR (2023)