NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems (Q4037688)

From MaRDI portal
scientific article
Language Label Description Also known as
English
NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
scientific article

    Statements

    NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems (English)
    0 references
    0 references
    16 May 1993
    0 references
    term-rewriting systems
    0 references
    call-by-need computations
    0 references
    sequentiality
    0 references
    left- linear system
    0 references

    Identifiers