Pages that link to "File:Durán.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf"
The following pages link to File:Durán.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf:
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)- Some Papers on Maude and on Rewriting Logic (file link) (← links)