Rémi Nollet

According to our database, Rémi Nollet authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points.

Rémi Nollet, Alexis Saurin, Christine Tasson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Local Validity for Circular Proofs in Linear Logic with Fixed Points.

Rémi Nollet, Alexis Saurin, Christine Tasson

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018