Stage - First-Order-Proof-Tactics-in-Higher-Order-Logic-Theorem-Provers

First-Order-Proof-Tactics-in-Higher-Order-Logic-Theorem-Provers First-Order Proof Tactics in Higher-Order Logic Theorem Provers   Science - Computer Science - Formal Methods




  • Name:

     

  • Institution:

    First-Order Proof Tactics in Higher-Order Logic Theorem Provers

  • Position:

  • Location:

     

  • Field of Science:

    Science - Computer Science - Formal Methods

  • Website / Blog:

    www.cl.cam.ac.uk/users/jeh1004/research/papers/metis.html

  • Online Status: status







    		•

    • About my Work: 


      First-Order Proof Tactics in Higher-Order Logic Theorem Provers - Paper evaluating the effectiveness of first-order proof procedures when used as tactics for proving subgoals in a higher-order logic interactive theorem prover.

      First-Order Proof Tactics in Higher-Order Logic Theorem Provers

    • Projects: 


    • Vita / Publications: 


    • Grants and Awards: 


    • About my Institution: 


    • Additional Information: 


      		•

     

































     

    Powered free by PHPmotion