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

Added by :
Nicolas Peltier

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

Duration :
00:19:26

Number of view :
4 (Show details views)

Type :
Conferences

Main language :
English

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