The following pages link to (Q4472187):
Displaying 7 items.
- Properties of substitutions and unifications (Q1074342) (← links)
- Axiomatisation of substitution (Q1433380) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Substitution, Complementarity, and Stability (Q3299267) (← links)
- A Practical Single Refinement Method for B (Q3535376) (← links)
- On the Notion of Substitution (Q4821649) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703803) (← links)