IMPS: an interactive mathematical proof system

Authors:
William M. Farmer;Joshua D. Guttman;F. Javier Thayer
Affiliations:
-;-;-
Venue:
CADE-10 Proceedings of the tenth international conference on Automated deduction
Year:
1990

Citing 0
Cited 2

Cache performance of garbage-collected programs

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Adapting functional programs to higher order logic

Higher-Order and Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract