Showing 1 - 3 results of 3 for search 'Guillaume Burel', query time: 0.02s Refine Results
  1. 1
    Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo

    Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo by Guillaume Burel

    Published 2011-03-01
    Get full text
    Article
  2. 2
    Translating HOL to Dedukti

    Translating HOL to Dedukti by Ali Assaf, Guillaume Burel

    Published 2015-07-01
    Get full text
    Article
  3. 3
    EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)

    EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) by Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui

    Published 2019-08-01
    Get full text
    Article

Search Tools: