Difference between revisions of "Initial Algebra Semantics in Matching Logic"

From FSL
Jump to: navigation, search
(Created page with "<private> == POPL 2020 Submission == <pubbib id='chen-lucanu-rosu-2021-popl-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
 
Line 1: Line 1:
 
<private>
 
<private>
== POPL 2020 Submission ==
+
== POPL 2021 Submission ==
 
<pubbib id='chen-lucanu-rosu-2021-popl-submission' template='PubDefaultWithAbstractAndTitle'/>
 
<pubbib id='chen-lucanu-rosu-2021-popl-submission' template='PubDefaultWithAbstractAndTitle'/>
 
</private>
 
</private>

Revision as of 03:57, 17 July 2020

Personal tools
Namespaces

Variants
Actions
Navigation