swMATH20008MaRDI QIDQ31831FDOQ31831
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2632381
Cited In (8)
- Recursion schemes and the WMSO+U logic
- Title not available (Why is that?)
- Automatically disproving fair termination of higher-order functional programs
- Parity to safety in polynomial time for pushdown and collapsible pushdown systems
- TravMC
- HorSatP
- ByMC
- Streett Automata Model Checking of Higher-Order Recursion Schemes
This page was built for software: TravMC2
