Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework

From FSL

Revision as of 23:01, 27 February 2016 by Yzhng173 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Technical Report

Retrieved from "http://fsl.cs.illinois.edu/index.php?title=Matching_Logic_Rewriting:_Unifying_Operational_and_Axiomatic_Semantics_in_a_Practical_and_Generic_Framework&oldid=17940"

Personal tools

Log in