Pages that link to "Item:Q1894676"
From MaRDI portal
The following pages link to Invariants, composition, and substitution (Q1894676):
Displaying 7 items.
- Comments on ''Always-true is not invariant'': Assertional reasoning about invariance (Q1183477) (← links)
- Invariant sets for substitution (Q1337459) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Local invariance (Q1402461) (← links)
- Composing invariants (Q2495548) (← links)
- Substitution, Complementarity, and Stability (Q3299267) (← links)
- Epsilon-invariant substitutions and indefinite descriptions (Q5176660) (← links)