Pages that link to "Item:Q2786137"
From MaRDI portal
The following pages link to Local termination: theory and practice (Q2786137):
Displaying 12 items.
- Lazy productivity via termination (Q549188) (← links)
- An automated approach to the Collatz conjecture (Q2055879) (← links)
- Transducer degrees: atoms, infima and suprema (Q2182680) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- Local Termination (Q3636830) (← links)
- (Q4600775) (← links)
- (Q5009706) (← links)
- (Q5089023) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- An automated approach to the Collatz conjecture (Q6103589) (← links)
- From linear term rewriting to graph rewriting with preservation of termination (Q6649533) (← links)