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