Pages that link to "Item:Q2841240"
From MaRDI portal
The following pages link to Induction for termination with local strategies (Q2841240):
Displaying 7 items.
- Proving weak properties of rewriting (Q554217) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- (Q2851049) (← links)
- (Q2851054) (← links)
