Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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



    Conference:

    Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome



    Publication date :

    2003-01-01


    Size :

    13 pages


    Remarks:

    Known as STRATA 2003


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Program tactics and logic tactics

    Giunchiglia, F. / Traverso, P. | TIBKAT | 1993


    Calibron's provers prove reliable

    British Library Online Contents | 2006


    Higher-Order Pattern Unification and Proof Irrelevance

    Reed, J. | British Library Conference Proceedings | 2002



    Flow MD a new name in provers

    Online Contents | 2008