No label defined (Q5013813)

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

    Statements

    0 references
    0 references
    2 December 2021
    0 references
    0 references
    higher-order term graphs
    0 references
    context-free grammars
    0 references
    cyclic \(\lambda\)-terms
    0 references
    higher-order rewrite systems
    0 references
    0 references