An automatic system of logical deduction

zbMath0419.68026MaRDI QIDQ1132566

N. A. Krupko

Publication date: 1978

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

zbMATH Keywords

logical deductioncorrectness of programs

Mathematics Subject Classification ID

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

Related Items (1)

Semantics of algorithmic languages

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