Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913)

From MaRDI portal
Revision as of 05:44, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Expressing combinatory reduction systems derivations in the rewriting calculus
scientific article

    Statements

    Expressing combinatory reduction systems derivations in the rewriting calculus (English)
    0 references
    0 references
    0 references
    0 references
    5 January 2007
    0 references
    Rewriting calculus
    0 references
    Combinatory reduction systems
    0 references
    Matching
    0 references

    Identifiers