1 search result for "tag:"keyword:Kleene algebra with tests""

Showing 1 - 1

coq-relation-algebra

No documentation

Relation Algebra and KAT in Coq

keyword:relation algebra keyword:Kleene algebra with tests keyword:KAT keyword:allegories keyword:residuated structures keyword:automata keyword:regular expressions keyword:matrices category:Mathematics/Algebra logpath:RelationAlgebra

Damien Pous <Damien.Pous@ens-lyon.fr> Christian Doczkal <christian.doczkal@ens-lyon.fr>

1.7.11

LGPL-3.0-or-later

Used by 1 other packages

18 Sep 2024