The Next Generation of Interactive Theorem Provers

Authors:
Patrick Suppes
Affiliations:
-
Venue:
Proceedings of the 7th International Conference on Automated Deduction
Year:
1984

Citing 0
Cited 2

Exploiting workstations and displays in verification systems

ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Crowd-scale interactive formal reasoning and analytics

Proceedings of the 26th annual ACM symposium on User interface software and technology

Quantified Score

Hi-index	0.00

Visualization

Abstract