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 views:

  8 (Show details views)

• Type:

  Conferences

• Main language:

  English

• Discipline(s):

  • Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

 Downloads

 Embed/Share

Social Networks

 Options

Autoplay Check the box to autoplay the video.

Loop Check the box to loop the video.

Start video Start at

Check the box to indicate the beginning of playing desired.

 Embed in a web page

Copy the content of this text box and paste it in the page: <iframe src="https://videos.univ-grenoble-alpes.fr/video/15321-decidable-entailments-in-separation-logic-with-inductive-definitions/?is_iframe=true" width="640" height="360" style="padding: 0; margin: 0; border:0" allowfullscreen ></iframe>

 Share the link

Use this link to share the video:

QR code for this link: