Decidable Entailments in Separation Logic with Inductive Definitions [Jan. 25, 2021]
Summary
Infos
Added by :
Nicolas Peltier
Type :
Conferences
Main language :
English
Disciplines :
Informatique, Mathématiques, Sciences et technologies de l'information et de la communication
Downloads
Video file(s) :
Audio file :