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

Jump to: navigation, search
What links here    
Filters Hide transclusions | Hide links | Hide redirects | Show file links

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

Retrieved from "https://maude.cs.illinois.edu/w/index.php/Special:WhatLinksHere/File:Durán.Mesegue.Rocha.Ground_Confluence_of_Order-sorted_Conditional_Specifications_Modulo_Axioms.TR.pdf"