Login / Signup
Alexis Saurin
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 19
Top Topics
Approximate Value Iteration
Linear Logic
Sequent Calculi
Fixed Point
Top Venues
CSL
CoRR
TABLEAUX
JFLA
</>
Publications
</>