2 search results for "author:"Damien Pous <Damien.Pous@ens-lyon.fr>""

Showing 1 - 2
  1. safa
    Documentation
    Symbolic Algorithms for Finite Automata
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    02 Feb 2016
  2. symkat
    Documentation
    Symbolic Algorithms for Kleene algebra with Tests (KAT)
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 0 other packages
    02 Feb 2016