Pumping Lemma for Higher-order Languages (Q5111429)

From MaRDI portal
scientific article; zbMATH DE number 7204549
Language Label Description Also known as
English
Pumping Lemma for Higher-order Languages
scientific article; zbMATH DE number 7204549

    Statements

    0 references
    0 references
    27 May 2020
    0 references
    pumping lemma
    0 references
    higher-order grammars
    0 references
    Kruskal's tree theorem
    0 references
    Pumping Lemma for Higher-order Languages (English)
    0 references

    Identifiers