Publication:3725520
From MaRDI portal
zbMath0594.68010MaRDI QIDQ3725520
Tadashi Kanamori, Hirohisa Seki
Publication date: 1986
natural deduction; program verification; Prolog programs; Prolog interpreter; Boyer and Moore theorem prover
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Automatic inductive theorem proving using Prolog, An operational formal definition of PROLOG: A specification method and its application, Logic program synthesis from incomplete specifications, Appropriate lemmae discovery