The following pages link to Local Termination (Q3636830):
Displaying 4 items.
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Automatic Termination (Q3636815) (← links)
- From linear term rewriting to graph rewriting with preservation of termination (Q6649533) (← links)
