Sciweavers

BIRTHDAY
1999
Springer

Monotonicity in Calculational Proofs

14 years 3 months ago
Monotonicity in Calculational Proofs
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more prominent place in the teaching of such proofs and give supporting examples.
David Gries
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where BIRTHDAY
Authors David Gries
Comments (0)