1 search result for "tag:"logpath:RegexpBrzozowski""

Showing 1 - 1
  1. coq-regexp-brzozowski

    No documentation

    Decision procedures for regular expression equivalence in Coq using Mathematical Components
    category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category:Computer Science/Formal Languages Theory and Automata keyword:regular expressions keyword:decision procedure keyword:relation algebra logpath:RegexpBrzozowski date:2023-10-14
    Thierry Coquand Vincent Siles
    1.2
    MIT
    Used by 0 other packages
    14 Oct 2023