Back to Results
First PageMeta Content
Logic / Mathematical logic / Philosophy / Modal logic / Non-classical logic / Philosophical logic / Model theory / Logic in computer science / Intuitionistic logic / Kripke semantics / Multimodal logic / Accessibility relation


MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins
Add to Reading List

Document Date: 2008-04-09 11:54:45

Open Document

File Size: 253,90 KB

Share Result on Facebook