File:Durán.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf

From The Maude System
Revision as of 15:16, 30 December 2020 by Malaga (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

File history

Click on a date/time to view the file as it appeared at that time.

current15:16, 30 December 2020 (298 KB)Malaga (Talk | contribs)
  • You cannot overwrite this file.

The following page links to this file: