Proof by Induction Using Test Sets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Deepak Kapur, Paliath Narendran, Hantao Zhang. Proof by Induction Using Test Sets. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Volume 230 of Lecture Notes in Computer Science, pages 99-117, Springer, 1986.

This author has not been identified. Look up 'Deepak Kapur' in GoogleThis author has not been identified. Look up 'Paliath Narendran' in GoogleThis author has not been identified. Look up 'Hantao Zhang' in Google

runs on WebDSL