Search Results for 'Metatheorem'

Metatheorem published presentations and documents on DocSlides.

Monotonicity in Calculational Proofs David Gries Computer Science Cornell University May Abstract We discuss the use of weakening and strengthening steps in calcula tional proofs

by yoshiko-marsland

We present a metatheorem concerning monotonicity ...