Decidable Entailments in Separation Logic with Inductive Definitions [Jan. 25, 2021]

 Infos

Added by :
Nicolas Peltier

Updated on :
Jan. 12, 2021, 5:26 p.m.

Duration :
00:19:26

Number of view :
4 (Show details views)

 Downloads
Video file(s) :
Audio file :
 Embed/Share


Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
qrcode