Back to Results
First PageMeta Content
Mathematical 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, Austria
Add to Reading List

Document Date: 2018-04-25 11:34:42


Open Document

File Size: 410,16 KB

Share Result on Facebook
UPDATE