Levels of undecidability in rewriting (Q627134)

From MaRDI portal





scientific article; zbMATH DE number 5853780
Language Label Description Also known as
English
Levels of undecidability in rewriting
scientific article; zbMATH DE number 5853780

    Statements

    Levels of undecidability in rewriting (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    21 February 2011
    0 references
    first order term rewriting systems
    0 references
    classification
    0 references
    hierarchy
    0 references
    properties related to normalization
    0 references
    properties related to confluence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers