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

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
#REDIRECT [[Automated_Fixpoint_Reasoning_in_Matching_Logic | Automated_Reasoning_about_Fixpoints_in_Matching_mu-Logic]]
+
#REDIRECT [[Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic | Automated_Reasoning_about_Fixpoints_in_Matching_mu-Logic]]

Latest revision as of 16:14, 13 July 2020

  1. REDIRECT Automated_Reasoning_about_Fixpoints_in_Matching_mu-Logic
Personal tools
Namespaces

Variants
Actions
Navigation