Pages that link to "Item:Q4594225"
From MaRDI portal
The following pages link to Proving innermost normalisation automatically (Q4594225):
Displayed 5 items.
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Certifying a Termination Criterion Based on Graphs, without Graphs (Q3543658) (← links)