DMCA

Exploiting Parallelism in Interactive Theorem Provers (1998)

Cached

Download Links

by Roderick Moten
Venue:Proceedings of TPHOLs, volume 1479 of LNCS
Citations:6 - 1 self