Pages that link to "Item:Q534700"
From MaRDI portal
The following pages link to Strong normalization from an unusual point of view (Q534700):
Displaying 8 items.
- The ant-lion paradigm for strong normalization (Q1336047) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- On strong normality (Q2835469) (← links)
- Lazy strong normalization (Q2851088) (← links)
- (Q3035254) (← links)
- Open Call-by-Value (Q3179293) (← links)
- Foundations of Software Science and Computation Structures (Q5899100) (← links)
- Uniform strong normalization for multi-discipline calculi (Q6164541) (← links)