menu

Return to entry

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

Kleene_Algebra.Inf_Matrix

HTML Presentation