1 search result for "author:"Xavier Rival [http://www.eleves.ens.fr/home/rival]""

Showing 1 - 1
  1. coq-tree-automata

    No documentation

    Tree automatas
    keyword: tree automatas keyword: bottom up reflexion terms category: Computer Science/Formal Languages Theory and Automata date: september 1999
    Xavier Rival [http://www.eleves.ens.fr/home/rival]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019