Foundations for Decision Problems in Separation Logic with General Inductive Predicates

Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine
January 2014
PDF DOI
Type
Conference paper
Publication
Foundations of Software Science and Computation Structures, FOSSACS