SPIKE: a system for automatic inductive proofs

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-60043-4_79 ◽

1995 ◽

pp. 576-577 ◽

Author(s):

Adel Bouhoula ◽

Michaël Rusinowitch

Download Full-text