Login / Signup
Tristan Crolard
Publication Activity (10 Years)
Years Active: 1999-2019
Publications (10 Years): 3
Top Topics
Theorem Prover
Functional Programs
Multi Valued
Formal Methods
Top Venues
HILT
J. Log. Algebraic Methods Program.
CoRR
WoC
</>
Publications
</>