Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mnacho Echenim
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2020 profile
Not registered as user yet
Name:
Mnacho Echenim
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
Share
x
Fri 14 Aug 16:43