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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relating graph and term rewriting via Böhm models
scientific article

    Statements

    Relating graph and term rewriting via Böhm models (English)
    0 references
    0 references
    0 references
    20 October 1996
    0 references
    0 references
    compiler optimizations
    0 references
    term graph rewriting systems
    0 references
    Böhm tree
    0 references
    0 references
    0 references