An automatic system of logical deduction

MaRDI QIDQ1132566zbMATH OpenFDO

Authors N. A. Krupko

Publication date 1978

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

correctness of programslogical deduction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Semantics of algorithmic languages

This page was built for publication: An automatic system of logical deduction

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