Cited in
(8)- Recursion schemes and the WMSO+U logic
- scientific article; zbMATH DE number 7199579 (Why is no real title available?)
- Automatically disproving fair termination of higher-order functional programs
- TravMC
- HorSatP
- ByMC
- Parity to safety in polynomial time for pushdown and collapsible pushdown systems
- Streett Automata Model Checking of Higher-Order Recursion Schemes
This page was built for software: TravMC2
