The following pages link to CalcCheck (Q21739):
Displaying 9 items.
- An elementary and unified approach to program correctness (Q607408) (← links)
- On Euclid's algorithm and elementary number theory (Q627201) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- A document driven methodology for developing a high quality parallel mesh generation toolbox (Q730984) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
