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

From The Maude System
Jump to: navigation, search

File history

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

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

The following page links to this file: