STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
Disjoint Sums over Type Classes in HOL
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Isomorphisms - A Link Between the Shallow and the Deep
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Partial Functions in an Impredicative Simple Theory of Types
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Handbook of automated reasoning
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
From Bayesian notation to pure racket via discrete measure-theoretic probability in λZFC
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Partizan games in Isabelle/HOLZF
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Combining type theory and untyped set theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A mechanized translation from higher-order logic to set theory
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.03 |