Proof Search with Set Variable Instantiation in the Calculus of Constructions (1996)

Cached

Download Links

by Amy Felty
Venue:Automated Deduction: CADE-13, volume 1104 of Lecture Notes in Arti Intelligence
Citations:2 - 1 self