Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri - Cachan - Document - PDFSEARCH.IO

First Page	Meta Content
	Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri Add to Reading List Document Date: 2014-07-22 07:58:02 Open Document File Size: 367,60 KB Share Result on Facebook

Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane DemriAdd to Reading List