A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗ (Q3165970)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗
scientific article

    Statements

    19 October 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    functional-logic programming
    0 references
    term rewriting systems
    0 references
    constructor-based rewriting logic
    0 references
    non-determinism
    0 references
    call-time choice semantics
    0 references
    run-time choice
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗ (English)
    0 references