K
leene_
A
lgebra
Signatures
Dioid
Dioid_Models
Matrix
Conway
Kleene_Algebra
Kleene_Algebra_Models
Omega_Algebra
Omega_Algebra_Models
DRA
PHL_KA
PHL_DRA
Finite_Suprema
Formal_Power_Series
Inf_Matrix