Pages that link to "Item:Q2986793"
From MaRDI portal
The following pages link to Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (Q2986793):
Displaying 10 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)
- Finitary Semantics of Linear Logic and Higher-Order Model-Checking (Q2946341) (← links)
- Rewriting Higher-Order Stack Trees (Q3194729) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q4993359) (← links)
- (Q5014448) (← links)
- (Q5109508) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)