𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Summation theorem for inductive dimensions

✍ Scribed by S. V. Kotkin

Publisher
SP MAIK Nauka/Interperiodica
Year
1992
Tongue
English
Weight
409 KB
Volume
52
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Inductive Theorem Proving for Design Spe
Inductive Theorem Proving for Design Specifications
✍ PETER PADAWITZ πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 985 KB

We present a number of new results on inductive theorem proving for design specifications based on Horn logic with equality. Induction is explicit here because induction orderings are supposed to be part of the specification. We show how the automatic support for program verification is enhanced if