The following pages link to Match-bounds revisited (Q1041044):
Displaying 8 items.
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- Termination proofs for string rewriting systems via inverse match-bounds (Q851146) (← links)
- On tree automata that certify termination of left-linear term rewriting systems (Q876043) (← links)
- Match-bounded string rewriting systems (Q1762560) (← links)
- Cwikel's bound reloaded (Q2689267) (← links)
- Beyond Dependency Graphs (Q5191112) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- Term Rewriting and Applications (Q5703861) (← links)