Unique normal form property of Higher-Order Rewriting Systems (Q2956727)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unique normal form property of Higher-Order Rewriting Systems
scientific article

    Statements

    Unique normal form property of Higher-Order Rewriting Systems (English)
    0 references
    0 references
    0 references
    19 January 2017
    0 references
    0 references
    0 references