Showing 1 - 3 results of 3 for search 'Frédéric Blanqui', query time: 0.02s Refine Results
  1. 1
    The computability path ordering

    The computability path ordering by Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio

    Published 2015-10-01
    Get full text
    Article
  2. 2
    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
  3. 3
    A modular construction of type theories

    A modular construction of type theories by Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet, François Thiré

    Published 2023-02-01
    Get full text
    Article

Search Tools: