Pages that link to "Item:Q1583261"
From MaRDI portal
The following pages link to A generalization of Naundorf's fixpoint theorem (Q1583261):
Displaying 8 items.
- A generalization of Nadler's fixed point theorem and its application (Q367301) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- Strictly causal functions have a unique fixed point (Q1575267) (← links)
- A generalization of Nadler's fixed point theorem (Q1682588) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- A simple fix-point argument without the restriction to continuity (Q3719822) (← links)
- (Q4716732) (← links)