Relating graph and term rewriting via Böhm models (Q1924551)

From MaRDI portal
Revision as of 05:15, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Relating graph and term rewriting via Böhm models
scientific article

    Statements

    title
    Relating graph and term rewriting via Böhm models (English)
    0 references
    author
    Zena M. Ariola
    0 references
    publication date
    20 October 1996
    0 references
    zbMATH Keywords
    compiler optimizations
    0 references
    term graph rewriting systems
    0 references
    Böhm tree
    0 references
    describes a project that uses
    DACTL
    0 references
    Haskell
    0 references

    Identifiers

    DOI
    10.1007/BF01293598
    0 references
    zbMATH DE Number
    936998
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1924551&oldid=26598720"
    Powered by MediaWiki