Transforming Outermost into Context-Sensitive Rewriting (Q3575304)

From MaRDI portal
Revision as of 02:27, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Transforming Outermost into Context-Sensitive Rewriting
scientific article

    Statements

    title
    Transforming Outermost into Context-Sensitive Rewriting (English)
    0 references
    author
    Jörg Endrullis
    0 references
    Dimitri Hendriks
    0 references
    publication date
    27 July 2010
    0 references
    zbMATH Keywords
    term rewriting
    0 references
    termination
    0 references
    outermost rewriting
    0 references
    context-sensitive rewriting
    0 references

    Identifiers

    zbMATH DE Number
    5761683
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3575304&oldid=16974032"
    Powered by MediaWiki