Pages that link to "Item:Q3113775"
From MaRDI portal
The following pages link to Collapsible Pushdown Graphs of Level 2 are Tree-Automatic (Q3113775):
Displaying 6 items.
- Krivine machines and higher-order schemes (Q476196) (← links)
- On the structure of graphs in the Caucal hierarchy (Q930912) (← links)
- A pumping lemma for pushdown graphs of any level (Q2904749) (← links)
- Krivine Machines and Higher-Order Schemes (Q3012917) (← links)
- Collapsible Pushdown Graphs of Level 2 are Tree-Automatic (Q4913775) (← links)
- (Q5119391) (← links)