Pages that link to "Item:Q2956718"
From MaRDI portal
The following pages link to Discrete Normalization and Standardization in Deterministic Residual Structures (Q2956718):
Displayed 7 items.
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- The geometry of orthogonal reduction spaces (Q4571994) (← links)
- (Q5111304) (← links)
- (Q6202803) (← links)