ISAR: An interactive system for algebraic implementation proofs
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 451-453
- https://doi.org/10.1007/bfb0013084
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- An inductive theorem prover based on narrowingPublished by Springer Nature ,2005
- A semi-algorithm for algebraic implementation proofsTheoretical Computer Science, 1992
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991