Heuristics for a calculational proof

DOI10.1016/0020-0190(94)00196-6zbMath0875.68761OpenAlexW2078982648MaRDI QIDQ674267

No author found.

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00196-6

zbMATH Keywords

HeuristicsAvoiding rabbitsCalculational proofsFormal proofsFormula manipulationProof derivationProof design

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item

This page was built for publication: Heuristics for a calculational proof