Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Higher-Order Pattern Unification and Proof Irrelevance



    Conference:

    International conference; 15th, Theorem proving in higher order logics ; 2002 ; Hampton, VA



    Publication date :

    2002-01-01


    Size :

    7 pages


    Remarks:

    Also known as TPHOLs 2002. Collated with the proceedings of the workshop on formalising continuous mathematics (FCM 2002)


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

    Hurd, J. / NASA | British Library Conference Proceedings | 2003


    Unloved Aerial Vehicles: Gutting its UAV plan, the Air Force sets a course for irrelevance

    Spinetta, L. / Cummings, M.L. | DSpace@MIT | 2012

    Free access

    Australian gauge unification

    Engineering Index Backfile | 1945



    A quest for unification

    Lisi, G | IEEE | 2011