How to prove equivalence of term rewriting systems without induction (Q1183582)

From MaRDI portal
scientific article
Language Label Description Also known as
English
How to prove equivalence of term rewriting systems without induction
scientific article

    Statements

    How to prove equivalence of term rewriting systems without induction (English)
    0 references
    0 references
    28 June 1992
    0 references
    equivalence of term rewriting systems
    0 references
    Church-Rosser property
    0 references
    reachability
    0 references
    inductionless induction
    0 references

    Identifiers