Login / Signup
Rémi Nollet
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Fixed Point
Theorem Prover
Logic Programming
Proof Search
Top Venues
TABLEAUX
CSL
</>
Publications
</>
Rémi Nollet
,
Alexis Saurin
,
Christine Tasson
PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points.
TABLEAUX
(2019)
Rémi Nollet
,
Alexis Saurin
,
Christine Tasson
Local Validity for Circular Proofs in Linear Logic with Fixed Points.
CSL
(2018)