Yoshiki Nakamura

MaRDI QIDQ2062199zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Electronic Proceedings in Theoretical Computer Science	2024-04-09	Paper
Expressive Power and Succinctness of the Positive Calculus of Relations Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Expressive power and succinctness of the positive calculus of binary relations Journal of Logical and Algebraic Methods in Programming	2022-05-25	Paper
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem Studia Logica	2021-12-27	Paper
scientific article; zbMATH DE number 7439745 (Why is no real title available?)	2021-12-07	Paper
scientific article; zbMATH DE number 7439745 (Why is no real title available?) (available as arXiv preprint)	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