Yoshiki Nakamura

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2026
A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead.
CoRR, January, 2026

Hardness of Regular Expression Matching with Extensions.
CoRR, January, 2026

2025
PSPACE-Completeness of the Equational Theory of Relational Kleene Algebra with Graph Loop.
CoRR, December, 2025

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure.
Log. Methods Comput. Sci., 2025


  Loading...