Proving the Correctness of Algebraic Implementations by the ISAR System
Authors:
Bernhard Bauer;Rolf Hennicker
Affiliations:
-;-
Venue:
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Year:
1993
Citing
0
Cited
1
Observational proofs by rewriting
Theoretical Computer Science
Quantified Score
Hi-index
0.04
Visualization
Abstract