Proof Search with Set Variable Instantiation in the Calculus of Constructions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amy P. Felty. Proof Search with Set Variable Instantiation in the Calculus of Constructions. In Michael A. McRobbie, John K. Slaney, editors, Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Volume 1104 of Lecture Notes in Computer Science, pages 658-672, Springer, 1996.

This author has not been identified. Look up 'Amy P. Felty' in Google

runs on WebDSL