5 search results for "tag:"category: Computer Science/Formal Languages Theory and Automata""

Showing 1 - 5
  1. coq-automata

    No documentation

    Beginning of formal language theory
    keyword: formal language theory keyword: finite automata keyword: push-down automata keyword: rational langages keyword: Kleene category: Computer Science/Formal Languages Theory and Automata date: June-July 1993
    Judicaël Courant Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-icharate

    No documentation

    Icharate: A logical Toolkit for Multimodal Categorial Grammars
    keyword: multimodal categorial grammars keyword: syntax/semantics interface keyword: higher-order logic keyword: meta-linguistics category: Computer Science/Formal Languages Theory and Automata date: 2003-2006
    Houda Anoun <anoun@labri.fr> Pierre Casteran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-lambek

    No documentation

    A Coq Toolkit for Lambek Calculus
    keyword: Computational linguistic keyword: categorial grammar keyword: Lambek calculus... category: Computer Science/Formal Languages Theory and Automata date: March-July 2003
    Houda Anoun <anoun@labri.fr> Pierre Castéran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-regexp

    No documentation

    Regular Expression
    keyword: regular expressions keyword: Kleene algebra category: Computer Science/Formal Languages Theory and Automata
    Takashi Miyamoto <tmiya@bu.iij4u.or.jp> [http://study-func-prog.blogspot.com/]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  5. 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