2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 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.LO2024★ 2 cited
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…
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…