Separation logics and modalities: a survey
Demri, Stéphane, Deters, MorganVolume:
25
Language:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.1080/11663081.2015.1018801
Date:
January, 2015
File:
PDF, 741 KB
english, 2015