Proofs in Parameterized Specification
Authors:
Hélène Kirchner
Affiliations:
-
Venue:
RTA '91 Proceedings of the 4th International Conference on Rewriting Techniques and Applications
Year:
1991
Citing
0
Cited
1
Order-sorted parameterization and induction
Semantics and algebraic specification
Quantified Score
Hi-index
0.00
Visualization
Abstract