The following pages link to Strongly normalizing extensions (Q1321039):
Displaying 13 items.
- Finite normalizing extensions (Q1204564) (← links)
- Relatively Noetherian rings, localization and sheaves. I: The relative second layer condition (Q1327521) (← links)
- Relatively Noetherian rings, localization and sheaves. II: Structure sheaves (Q1327522) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- On strong normality (Q2835469) (← links)
- Strong normalization of barrecursive terms without using infinite terms (Q3739119) (← links)
- On a generalization of normalizing extensions (Q3826710) (← links)
- (Q4260330) (← links)
- (Q4371042) (← links)
- Relatively noetherian rings, localization and sheaves part iii:functorial behaviour (Q4834927) (← links)
- Geometric characterization of strongly normal extensions (Q5469966) (← links)
- Foundations of Software Science and Computation Structures (Q5899100) (← links)
- Uniform strong normalization for multi-discipline calculi (Q6164541) (← links)