2 search results for "author:"Sébastien Briais""

Showing 1 - 2
  1. coq-fundamental-arithmetics

    No documentation

    Fundamental theorems of arithmetic
    keyword: arithmetic keyword: number theory category: Mathematics/Arithmetic and Number Theory/Miscellaneous date: 2008-02-1
    Sébastien Briais <sebastien.briais at ens-lyon.fr> [http://perso.ens-lyon.fr/sebastien.briais/]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  2. coq-hedges

    No documentation

    Some properties of hedges used by hedged bisimulation
    keyword: bisimulation keyword: spi-calculus keyword: hedges category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems date: 20 April 2004
    Sébastien Briais
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019