Difference between revisions of "Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework"
From FSL
Line 2: | Line 2: | ||
<pub id='rosu-stefanescu-2012-pldi-submission' template='PubDefaultWithAbstractAndTitle'/></private> | <pub id='rosu-stefanescu-2012-pldi-submission' template='PubDefaultWithAbstractAndTitle'/></private> | ||
== Technical Report == | == Technical Report == | ||
− | < | + | <pubbib id='rosu-stefanescu-2011-tr' template='PubDefaultWithAbstractAndTitle'/> |
Latest revision as of 23:00, 27 February 2016
[edit] Technical Report