Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
Yoshiki Nakamura, Ryoma Sin'ya
We investigate the equational theory for Kleene algebra terms with variable complements and constant complements -- (language) complement where it applies only to variables or cons…
cs.LO2023
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
Yoshiki Nakamura, Ryoma Sin'ya
We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the eq…