Remarks on Thatte's transformation of term rewriting systems (Q1763376)

From MaRDI portal
Revision as of 11:14, 12 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Remarks on Thatte's transformation of term rewriting systems
scientific article

    Statements

    Remarks on Thatte's transformation of term rewriting systems (English)
    0 references
    0 references
    0 references
    0 references
    22 February 2005
    0 references
    Term rewriting
    0 references
    Thatte's transformation
    0 references
    Constructor-based system
    0 references

    Identifiers