Similar Items: Reachability Analysis of Innermost Rewriting
- From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
- Reachability Analysis of Communicating Pushdown Systems
- Reachability Switching Games
- Reachability under Contextual Locking
- All-Path Reachability Logic