Pages that link to "Item:Q3167009"
From MaRDI portal
The following pages link to A Saturation Method for Collapsible Pushdown Systems (Q3167009):
Displaying 9 items.
- Krivine machines and higher-order schemes (Q476196) (← links)
- On first-order logic and CPDA graphs (Q2254514) (← links)
- Rewriting higher-order stack trees (Q2411043) (← links)
- Saturation of Concurrent Collapsible Pushdown Systems (Q2963923) (← links)
- Simply typed fixpoint calculus and collapsible pushdown automata (Q2973243) (← links)
- Rewriting Higher-Order Stack Trees (Q3194729) (← links)
- (Q5076057) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- (Q5119391) (← links)