research
∙
09/06/2023
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
We investigate the equational theory of Kleene algebra terms with variab...
research
∙
07/11/2023
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
We introduce the k-variable-occurrence fragment, which is the set of ter...
research
∙
04/24/2023