Difference between revisions of "Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework"

From FSL
Jump to: navigation, search
 
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 ==
<pub id='rosu-stefanescu-2011-tr' template='PubDefaultWithAbstractAndTitle'/>
+
<pubbib id='rosu-stefanescu-2011-tr' template='PubDefaultWithAbstractAndTitle'/>

Latest revision as of 23:00, 27 February 2016

[edit] Technical Report

Personal tools
Namespaces

Variants
Actions
Navigation