Difference between revisions of "Matching mu-Logic: Foundation of K Framework"

From FSL
Jump to: navigation, search
(Redirected page to Matching mu-Logic)
 
Line 1: Line 1:
== CALCO 2019 ==
+
#REDIRECT [[Matching_mu-Logic | Matching_mu-Logic:_Foundation_of_K_Framework]]
<pubbib id='chen-rosu-2019-calco' template='PubDefaultWithAbstractAndTitle'/>
+

Latest revision as of 01:27, 26 November 2019

  1. REDIRECT Matching_mu-Logic:_Foundation_of_K_Framework
Personal tools
Namespaces

Variants
Actions
Navigation