A method for obtaining digital signatures and public-key cryptosystems
Communications of the ACM
LISP 1.5 Programmer's Manual
Formalizing the Halting Problem in a Constructive Type Theory
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Journal of Automated Reasoning
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Verified Software: Theories, Tools, Experiments
Automated reasoning: real uses and potential uses
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Automated synthesis of induction axioms for programs with second-order recursion
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
Journal of Automated Reasoning
Hi-index | 0.00 |