An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems (Q6159936)

From MaRDI portal
scientific article; zbMATH DE number 7700624
Language Label Description Also known as
English
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
scientific article; zbMATH DE number 7700624

    Statements

    0 references
    0 references
    23 June 2023
    0 references
    recursive path ordering
    0 references
    permutation equation
    0 references
    permutation group
    0 references
    rewrite system
    0 references
    completion
    0 references
    ground completion
    0 references
    An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references