Nombre de documents

1

CV de Ronan Saillard


Communication dans un congrès1 document

  • Ronan Saillard. Towards explicit rewrite rules in the λΠ-calculus modulo. IWIL - 10th International Workshop on the Implementation of Logics, Dec 2013, Stellenbosch, South Africa. 2013. <hal-00921340v2>