scientific article; zbMATH DE number 1088212

MaRDI QIDQ4364527zbMATH OpenFDO

Authors David Gries

Publication date 20 September 1999

zbMATH Keywords

calculational approach to logiccalculational logiceverywhere operatorformal development of algorithmsmetatheorem Witnessmonotonicitypredicate logicpropositional logicstrengtheningtreating undefined termsweakening

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• On calculational proofs
• scientific article; zbMATH DE number 194642
• Adapting Calculational Logic to the Undefined
• scientific article; zbMATH DE number 4133470

Cited in

(4)

• scientific article; zbMATH DE number 77950 (Why is no real title available?)
• Adapting Calculational Logic to the Undefined
• Equational logic as a tool
• Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364527)