First Page | Document Content | |
---|---|---|
Date: 2018-04-25 11:34:42Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation | A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, AustriaAdd to Reading ListSource URL: csl.sri.comDownload Document from Source WebsiteFile Size: 410,16 KBShare Document on Facebook |