Difference between revisions of "Automated Reasoning about Fixpoints in Matching mu-Logic"

From FSL
Jump to: navigation, search
(Created page with "<private> == CAV 2019 Submission == <pubbib id='chen-rodrigues-rosu-trinh-2019-cav-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
 
 
Line 1: Line 1:
<private>
+
#REDIRECT [[Automated_Fixpoint_Reasoning_in_Matching_Logic | Automated_Reasoning_about_Fixpoints_in_Matching_mu-Logic]]
== CAV 2019 Submission ==
+
<pubbib id='chen-rodrigues-rosu-trinh-2019-cav-submission' template='PubDefaultWithAbstractAndTitle'/>
+
</private>
+

Latest revision as of 16:27, 25 November 2019

  1. REDIRECT Automated_Reasoning_about_Fixpoints_in_Matching_mu-Logic
Personal tools
Namespaces

Variants
Actions
Navigation