Nicolas Peltier -

Not registered as user yet

Name:Nicolas Peltier

Contributions

ADSL 2020	Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track
FOSSACS 2019	Author of The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains within the FOSSACS 2019-track