×

Found 6 Documents (Results 1–6)

Internal calculi for separation logics. (English) Zbl 07650832

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modal logics with composition on finite forests: expressivity and complexity. (English) Zbl 1498.03049

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 167-180 (2020).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI

Extending propositional separation logic for robustness properties. (English) Zbl 1528.03151

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018).
MSC:  03B70 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field