Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Peltier
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2020 profile
Not registered as user yet
Name:
Nicolas Peltier
Contributions
2020
ADSL
Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track
2019
FOSSACS
Author of The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains within the FOSSACS 2019-track
Share
x
Thu 21 Nov 13:08