IMPS: An Updated System Description

Authors:
William M. Farmer;Joshua D. Guttman;F. Javier Thayer
Affiliations:
-;-;-
Venue:
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Year:
1996

Citing 0
Cited 3

STMM: A Set Theory for Mechanized Mathematics

Journal of Automated Reasoning
Panoptes

Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatic constructor classes in Isabelle/HOLCF

TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics

Quantified Score

Hi-index	0.00

Visualization

Abstract