No label defined (Q4938608)

From MaRDI portal
scientific article; zbMATH DE number 1405629
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1405629

    Statements

    25 April 2000
    0 references
    0 references
    higher-order rewriting
    0 references