Login / Signup
Damien Doligez
Publication Activity (10 Years)
Years Active: 1993-2016
Publications (10 Years): 1
Top Topics
Theorem Prover
First Order Logic
Functional Language
Temporal Logic
Top Venues
CoRR
ICSE (2)
LPAR (short papers)
ARQNL@IJCAR
</>
Publications
</>