Difference between revisions of "Automated Fixpoint Reasoning in Matching Logic"

From FSL
Jump to: navigation, search
(Created page with "<private> == PLDI 2020 Submission == <pubbib id='chen-pena-rodrigues-rosu-trinh-2020-pldi-submission' template='PubDefaultWithAbstractAndTitle'/> </private> <private> == CAV 2...")
 
 
Line 1: Line 1:
<private>
+
#REDIRECT [[Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic | Automated Fixpoint Reasoning in Matching Logic]]
== PLDI 2020 Submission ==
+
<pubbib id='chen-pena-rodrigues-rosu-trinh-2020-pldi-submission' template='PubDefaultWithAbstractAndTitle'/>
+
</private>
+
<private>
+
== CAV 2019 Submission ==
+
<pubbib id='chen-rodrigues-rosu-trinh-2019-cav-submission' template='PubDefaultWithAbstractAndTitle'/>
+
</private>
+

Latest revision as of 16:12, 13 July 2020

  1. REDIRECT Automated Fixpoint Reasoning in Matching Logic
Personal tools
Namespaces

Variants
Actions
Navigation