Document Preview
  • Full Text
  • Dissertation or Thesis

Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2

. 
 The University of Texas at Austin ProQuest Dissertations & Theses,  2012. 3577689.