Automating inductionless induction using test sets
Journal of Symbolic Computation
Automatic case analysis in proof by induction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Annals of Mathematics and Artificial Intelligence
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |