Using Decision Procedures With a Higher-Order Logic (2001)

Cached

Download Links

by Natarajan Shankar
Venue:In Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001
Citations:8 - 2 self