The following pages link to Topics in termination (Q5055795):
Displaying 10 items.
- Natural termination (Q673622) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- Induction using term orders (Q1915132) (← links)
- Outside opportunities and termination (Q2347777) (← links)
- Linear interpretations by counting patterns (Q5055811) (← links)
- A termination ordering for higher order rewrite systems (Q5055816) (← links)
- A complete characterization of termination of 0p 1q→1r 0s (Q5055817) (← links)
- On the termination problem for one-rule semi-Thue system (Q5055868) (← links)
- Proving convergence of self-stabilizing systems using first-order rewriting and regular languages (Q5138353) (← links)
- Term Rewriting and Applications (Q5703865) (← links)