Paper Info
Title
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains.
Year
DOI
Venue
2019
10.1007/978-3-030-17127-8_14
FoSSaCS
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Mnacho Echenim19515.75
Radu Iosif248342.44
Nicolas Peltier35011.84