Journal of Automated Reasoning
Modelling general recursion in type theory
Mathematical Structures in Computer Science
Combining induction axioms by machine
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated synthesis of induction axioms for programs with second-order recursion
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Hi-index | 0.00 |