1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Sergio Celani, Paula Menchón, Valeria Miguelez
Kleene triples, introduced by Jalali, provide a representation of arbitrary Kleene algebras in terms of twist-products. We introduce modal Kleene algebras and modal Kleene triples,…