2 papers
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.LO2024
Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
Yoshiki Nakamura
We prove that the equational theory of the positive calculus of relations with transitive closure (PCoR*) is EXPSPACE-complete. Here, PCoR* terms consist of the following standard…