The following pages link to TravMC2 (Q31831):
Displaying 5 items.
- Automatically disproving fair termination of higher-order functional programs (Q2985774) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)
- (Q5109508) (← links)
- Streett Automata Model Checking of Higher-Order Recursion Schemes (Q5111330) (← links)