Yoshiki Nakamura

22 papers A* 2B 5C 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead.
FoSSaCS
Yoshiki Nakamura
2025 B conf
Finite Relational Semantics for Language Kleene Algebra with Complement.
CSL
Yoshiki Nakamura
2025 J jnl
Guarded Negation Transitive Closure Logic is 2-EXPTIME-complete.
CoRR
Yoshiki Nakamura
2025 J jnl
Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops.
CoRR
Yoshiki Nakamura
2024 J jnl
Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure.
CoRR
Yoshiki Nakamura
2024 J jnl
Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity.
Fundam. Informaticae
Yoshiki Nakamura
2024 C conf
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.
RAMiCS
Yoshiki Nakamura
2024 J jnl
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements.
CoRR
Yoshiki Nakamura, Ryoma Sin'ya
2023 A* conf
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations.
LICS
Yoshiki Nakamura
2023 J jnl
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations.
CoRR
Yoshiki Nakamura
2023 J jnl
Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity.
CoRR
Yoshiki Nakamura
2023 B conf
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.
MFCS
Yoshiki Nakamura
2023 J jnl
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.
CoRR
Yoshiki Nakamura
2023 — conf
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements.
AFL
Yoshiki Nakamura, Ryoma Sin'ya
2022 J jnl
Expressive power and succinctness of the positive calculus of binary relations.
J. Log. Algebraic Methods Program.
Yoshiki Nakamura
2022 B conf
Spatial Existential Positive Logics for Hyperedge Replacement Grammars.
CSL
Yoshiki Nakamura
2021 J jnl
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem.
Stud Logica
Yoshiki Nakamura, Naosuke Matsuda
2020 C conf
Expressive Power and Succinctness of the Positive Calculus of Relations.
RAMiCS
Yoshiki Nakamura
2020 B conf
On Average-Case Hardness of Higher-Order Model Checking.
FSCD
Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
2019 — conf
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation.
ICLA
Yoshiki Nakamura
2017 A* conf
Partial derivatives on graphs for Kleene allegories.
LICS
Yoshiki Nakamura
2016 — conf
The Almost Equivalence by Asymptotic Probabilities for Regular Languages and Its Computational Complexities.
GandALF
Yoshiki Nakamura