Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865)

From MaRDI portal
Revision as of 23:37, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7631298
Language Label Description Also known as
English
Compositional term rewriting: An algebraic proof of Toyama's theorem
scientific article; zbMATH DE number 7631298

    Statements

    Compositional term rewriting: An algebraic proof of Toyama's theorem (English)
    0 references
    0 references
    9 December 2022
    0 references

    Identifiers