research article
oaioai:repository.ubn.ru.nl:2066/139732

Certified Connection Tableaux Proofs for HOL Light and TPTP

Authors
Publication date
1 January 2015
Publisher
'Association for Computing Machinery (ACM)'
Doi

    Abstract

    Contains fulltext : 139732.pdf (preprint version ) (Open Access)CPP'15 : 2015 Conference on Certified Programs and Proofs as part of POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Tata Institute of Fundamental Research, Mumbai

    Similar works

    Full text

    thumbnail-image

    Radboud Repository (Radboud Univ.)

    redirect
    oaioai:repository.ubn.ru.nl:2066/...
    Last time updated on 09/08/2016

    This paper was published in Radboud Repository (Radboud Univ.).

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.