Yoshiki Nakamura

Identifiers

• name variant Yoshiki Nakamura 0.60 · backfill

Papers (2)

1. The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete cs.LO · 2025 · author #1
2. Guarded Negation Transitive Closure Logic cs.LO · 2025 · author #3

Mentions

• 2501.15303 #3 · arxiv_oai · confidence 0.70 Yoshiki Nakamura

Frequent Coauthors

• Diego Figueira 1 shared papers
• Santiago Figueira 1 shared papers