Nondeterministic algebraic specifications and nonconfluent term rewriting (Q3992231)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nondeterministic algebraic specifications and nonconfluent term rewriting
scientific article

    Statements

    Nondeterministic algebraic specifications and nonconfluent term rewriting (English)
    0 references
    0 references
    13 August 1992
    0 references
    algebraic specifications
    0 references
    nondeterministic operations
    0 references

    Identifiers