The term rewriting approach to automated theorem proving

Authors:
Jieh Hsiang;Hélène Kirchner;Pierre Lescanne;Michaël Rusinowitch
Affiliations:
-;-;-;-
Venue:
Journal of Logic Programming
Year:
1992

Citing 0
Cited 2

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A tool for developing correct programs by refinement

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

Quantified Score

Hi-index	0.02

Visualization

Abstract