Pages that link to "Item:Q5111429"
From MaRDI portal
The following pages link to Pumping Lemma for Higher-order Languages (Q5111429):
Displaying 7 items.
- Pumping lemmas for special linear languages (Q2909021) (← links)
- A PUMPING CONDITION FOR ULTRALINEAR LANGUAGES (Q3401478) (← links)
- (Q5076057) (← links)
- Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered (Q5090949) (← links)
- The Complexity of the Diagonal Problem for Recursion Schemes (Q5136337) (← links)
- Pumping for ordinal-automatic structures1 (Q5283444) (← links)
- Pumping lemmas for classes of languages generated by folding systems (Q6095498) (← links)