Dependent types and formal synthesis

Authors:
F. K. Hanna;N. Daeche
Affiliations:
-;-
Venue:
Mechanized reasoning and hardware design
Year:
1992

Citing 0
Cited 1

Using Decision Procedures with a Higher-Order Logic

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics

Quantified Score

Hi-index	0.00

Visualization

Abstract