You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
author = {Brotherston, James and Fuhs, Carsten and P{\'e}rez, Juan A. Navarro and Gorogiannis, Nikos},
title = {A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates},
booktitle = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},