Pages that link to "Item:Q4500174"
From MaRDI portal
The following pages link to Stable results and relative normalization (Q4500174):
Displaying 6 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- An abstract Böhm-normalization (Q2843610) (← links)
- Minimality in a linear calculus with iteration (Q2873683) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)