DMCA

From Declarative to Computational Proof Checking for LRA

Cached

Download Links

by Andrew Reynolds , Liana Hadarean , Cesare Tinelli , Yeting Ge , Aaron Stump , Clark Barrett