A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems (Q5389075)

From MaRDI portal
scientific article; zbMATH DE number 6027832
Language Label Description Also known as
English
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
scientific article; zbMATH DE number 6027832

    Statements

    0 references
    0 references
    24 April 2012
    0 references
    confluence
    0 references
    completion
    0 references
    equational term rewriting systems
    0 references
    confluence modulo equations
    0 references
    A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems (English)
    0 references

    Identifiers