Pages that link to "Item:Q604384"
From MaRDI portal
The following pages link to Reflexive transitive invariant relations: A basis for computing loop functions (Q604384):
Displaying 5 items.
- A versatile concept for the analysis of loops (Q444373) (← links)
- Strongest invariant functions: Their use in the systematic analysis of while statements (Q797985) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Invariant functions and invariant relations: an alternative to invariant assertions (Q1760096) (← links)
- Invariant relations for affine loops (Q6592111) (← links)