• Sign in
  • Sign up
conf.researchr.org / Boris Djalal
  • POPL 2016 profile
  • POPL 2018 profile

Not registered as user

Name:Boris Djalal
Affiliation:INRIA

Contributions

2018

CPP

  • Author of A Constructive Formalisation of Semi-algebraic Sets and Functions within the CPP 2018-track

2016

CPP

  • Author of Formalization of a Newton series representation of polynomials within the CPP-track
Share
xThu 10 Jul 00:36
using conf.researchr.org (v1.69.1)
Support page
Sign Up