Session Stone_Kleene_Relation_Algebras
View
theory dependencies
View
document
View
outline
Theories
Iterings
Kleene_Algebras
Kleene_Relation_Algebras
Kleene_Relation_Subalgebras
Matrix_Kleene_Algebras