Christine Paulin-Mohring

Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at the Faculté des Sciences of Paris-Saclay University, best known for developing the interactive theorem prover Rocq. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Paulin-Mohring, Christine', query time: 0.02s Refine Results
  1. 1
    Types for Proofs and Programs International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers /
    Published 1998
    Other Authors: “…Paulin-Mohring, Christine…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    Published 2008
    Other Authors: “…Paulin-Mohring, Christine…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Published 2013
    Other Authors: “…Paulin-Mohring, Christine…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Published 2006
    Other Authors: “…Paulin-Mohring, Christine…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search