Cooperating theorem provers: A case study combining HOL-Light and CVC Lite (2006)

Cached

Download Links

by Sean Mclaughlin , Clark Barrett , Yeting Ge
Venue:In Proc. 3 rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR ’05), volume 144(2) of Electronic Notes in Theoretical Computer Science
Citations:22 - 2 self