Yoshiki Nakamura

According to our database, Yoshiki Nakamura authored at least 14 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure.

Yoshiki Nakamura

CoRR, 2024

Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.

Yoshiki Nakamura

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity.

Yoshiki Nakamura

CoRR, 2023

Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements.

Yoshiki Nakamura, Ryoma Sin'ya

Proceedings of the 16th International Conference on Automata and Formal Languages, 2023

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.

Yoshiki Nakamura

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations.

Yoshiki Nakamura

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Expressive power and succinctness of the positive calculus of binary relations.

Yoshiki Nakamura

J. Log. Algebraic Methods Program., 2022

Spatial Existential Positive Logics for Hyperedge Replacement Grammars.

Yoshiki Nakamura

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem.

Yoshiki Nakamura, Naosuke Matsuda

Stud Logica, 2021

2020

On Average-Case Hardness of Higher-Order Model Checking.

Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Expressive Power and Succinctness of the Positive Calculus of Relations.

Yoshiki Nakamura

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation.

Yoshiki Nakamura

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2017

Partial derivatives on graphs for Kleene allegories.

Yoshiki Nakamura

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

The Almost Equivalence by Asymptotic Probabilities for Regular Languages and Its Computational Complexities.

Yoshiki Nakamura

Proceedings of the Seventh International Symposium on Games, 2016