Yoshiki Nakamura

Available identifiers

zbMath Open nakamura.yoshikiMaRDI QIDQ2062199

List of research outcomes

Publication	Date of Publication	Type
On the finite variable-occurrence fragment of the calculus of relations with bounded dot-Dagger alternation	2024-12-03	Paper
Spatial existential positive logics for hyperedge replacement grammars	2024-04-10	Paper
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements	2024-04-09	Paper
Expressive Power and Succinctness of the Positive Calculus of Relations	2022-08-30	Paper
Expressive power and succinctness of the positive calculus of binary relations	2022-05-25	Paper
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem	2021-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q5015284	2021-12-07	Paper
Partial derivatives on graphs for Kleene allegories	2021-01-19	Paper
The undecidability of FO3 and the calculus of relations with just one binary relation	2020-01-14	Paper

Research outcomes over time

This page was built for person: Yoshiki Nakamura